Skip to content

Coq-Elpi 1.2.0 for Coq 8.10

Compare
Choose a tag to compare
@gares gares released this 02 Nov 16:09
· 2295 commits to master since this release

Minor release with some extra API for the gref (global reference) data type.