Skip to content

Update to latest Coq 8.15 and mathcomp 1.14

Björn Brandenburg requested to merge coq-version-bump into master

Closes #84 (closed)

Edited by Björn Brandenburg

Merge request reports