Skip to content

Equations v1.2-beta for Coq 8.9

Pre-release
Pre-release
Compare
Choose a tag to compare
@mattam82 mattam82 released this 28 Jan 18:08
· 307 commits to 8.9 since this release
v1.2-beta-8.9
945605e

Release 1.2beta of Coq-Equations, see announcement here:

http://mattam82.github.io/Coq-Equations/equations/2019/01/28/1.2beta.html

Assets 2
Loading