Skip to content

Equations v1.2-beta2 for Coq 8.9

Pre-release
Pre-release
Compare
Choose a tag to compare
@mattam82 mattam82 released this 19 Mar 15:28
· 23 commits to 8.9 since this release

Bugfixes and new features, see announcement for more details