Skip to content

Coq-Elpi 1.3 for Coq 8.10

Compare
Choose a tag to compare
@gares gares released this 27 Feb 13:28
· 2221 commits to master since this release
v1.3.0

Major release, please see the changelog for more info.