Skip to content

Equations 1.1 for Coq 8.8
Compare
Choose a tag to compare
@mattam82 mattam82 released this 15 Jun 17:52
· 702 commits to 8.8 since this release
v1.1-8.8
cc15988

This is a bugfix release including many improvements to the treatment of nested recursive definitions, elimination principle generation, inaccessible patterns and proof automation tactics.

Assets 2
Loading