Skip to content

Coq-Elpi 1.11.1 for Coq 8.13

Compare
Choose a tag to compare
@gares gares released this 24 Sep 09:54
· 1739 commits to master since this release

Minor fixes in the derive app, and minor improvement to the APIs.