Published January 28, 2019
| Version v1.2-beta-8.9
Software
Open
mattam82/Coq-Equations: Equations v1.2-beta for Coq 8.9
Creators
- 1. Inria
- 2. IMTA
- 3. IIIT Hyderabad
- 4. @dfinity-lab
- 5. @coq @math-comp @LPCIC
- 6. @imdea-software
Description
Release 1.2beta of Coq-Equations, see announcement here:
http://mattam82.github.io/Coq-Equations/equations/2019/01/28/1.2beta.html
Files
mattam82/Coq-Equations-v1.2-beta-8.9.zip
Files
(1.2 MB)
Name | Size | Download all |
---|---|---|
md5:c277f251f79156c0ede093c416372b46
|
1.2 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/mattam82/Coq-Equations/tree/v1.2-beta-8.9 (URL)