Skip to content

Coq-Elpi 1.1 for Coq 8.10
Compare
Choose a tag to compare
@gares gares released this 10 Oct 12:26
· 2413 commits to master since this release
v1.1.0
This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Verified
Learn about vigilant mode.
4f44b8c

Minor release with improvements to derive.param2.

Assets 2
Loading