The Mathematical Components Library 1.15.0
·
1098 commits
to master
since this release
This release is compatible with Coq 8.13, 8.14, 8.15 and 8.16
This release drops support for Coq 8.11 and 8.12, while it gains support for 8.16 (version 1.14.0 won't compile on Coq 8.16).
See the CHANGELOG.md file for more details.