Skip to content

Regexp Brzozowski 1.0

Choose a tag to compare

View all tags
@palmskog palmskog released this 21 Jan 08:29
· 16 commits to master since this release
v1.0
9fc1a21
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.10 to 8.15, MathComp 1.12 to 1.14, and RegLang 1.1.3.

Assets 2
Loading