Skip to content

Coq-8.9 compatability release
Compare
Choose a tag to compare
@vzaliva vzaliva released this 09 Oct 19:54
· 17 commits to master since this release
v1.0.1
8fbf6d3

Minor changes to make it compatible with Coq-8.9.1.
Depenency for MetaCoq changes from coq-template-coq to coq-metacoq-template.

Assets 2
Loading