Skip to content

Coq-Elpi 1.16 for Coq 8.16

Compare
Choose a tag to compare
@gares gares released this 10 Nov 10:50
· 1255 commits to master since this release
v1.16.0

The main change is the derive app, see the Changelog for more info