Skip to content

Regexp Brzozowski 1.1

Choose a tag to compare

View all tags
@palmskog palmskog released this 14 Oct 11:13
· 5 commits to master since this release
v1.1
9abfe49
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Release known to work with Coq 8.11 to 8.18, MathComp 1.13 to 1.17, and RegLang 1.1.3. This is the last release before the project switches to MathComp 2.0.

Assets 2
Loading