Skip to content

Coq-Elpi 1.3.1 for Coq 8.11

Compare
Choose a tag to compare
@gares gares released this 01 Mar 15:13
· 2167 commits to master since this release
v1.3.1

Port to Coq 8.11.Please see the changelog for more info.