Published May 19, 2019
| Version 1.2-8.10
Software
Open
Equations v1.2
Description
This final version contains mainly bugfixes over 1.2beta2, see announcement for more details. It has been tested with the 8.10beta1 release of Coq.
Files
mattam82/Coq-Equations-v1.2-8.10.zip
Files
(1.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:9ed9ecbffb6e3846b86f382a4e136fad
|
1.5 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/mattam82/Coq-Equations/tree/v1.2-8.10 (URL)