Skip to content
Snippets Groups Projects

Update to latest Coq 8.15 and mathcomp 1.14

Merged Update to latest Coq 8.15 and mathcomp 1.14
coq-version-bump into master
Merged Björn Brandenburg requested to merge coq-version-bump into master