Skip to content

Coq-Elpi 1.8.0 for Coq 8.12
Compare
Choose a tag to compare
@gares gares released this 29 Nov 16:14
· 1955 commits to master since this release
v1.8.0
This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Learn about vigilant mode.
969f458

Minimal support for primitive records and let (x,y) := t in t syntax in Coq quotations

Assets 2
Loading