Skip to content

Equations v1.2-beta2 for Coq 8.8

Pre-release
Pre-release
Compare
Choose a tag to compare
@mattam82 mattam82 released this 19 Mar 15:31
· 14 commits to 8.8 since this release

Bugfixes and new features, see announcement for more details