Published June 15, 2018
| Version v1.1-8.8
Software
Open
mattam82/Coq-Equations: Equations 1.1 for Coq 8.8
Authors/Creators
- 1. Inria
- 2. IMTA
- 3. University of Pennsylvania
- 4. @coq @math-comp @LPCIC
- 5. @imdea-software
Description
This is a bugfix release including many improvements to the treatment of nested recursive definitions, elimination principle generation, innaccessible patterns and proof automation tactics.
Files
mattam82/Coq-Equations-v1.1-8.8.zip
Files
(924.6 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:059b899eb1d74949839dfb5b59f8568b
|
924.6 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/mattam82/Coq-Equations/tree/v1.1-8.8 (URL)