Skip to content

Compatibility with Coq 8.5

Pre-release
Pre-release

Choose a tag to compare

View all tags
@hivert hivert released this 06 May 18:07
· 1016 commits to master since this release
Coq-8.5
80cf612

First release compatible with Coq 8.5 / mathcomp 1.6

Assets 2
Loading