Skip to content

Equations 1.2.1 for Coq 8.11
Compare
Choose a tag to compare
@mattam82 mattam82 released this 01 Mar 13:38
· 44 commits to 8.11 since this release
v1.2.1-8.11
136e2ba
This commit was signed with the committer’s verified signature.
mattam82 Matthieu Sozeau
GPG key ID: 5560E767972A4459
Verified
Learn about vigilant mode.

This release has all the features of 1.2.1 working for Coq 8.11.
See https://mattam82.github.io/Coq-Equations/equations/2019/05/17/1.2.html for the 1.2 release notes.

Assets 2
Loading