Skip to content

Update to latest Coq 8.15 and mathcomp 1.14

Björn Brandenburgrequested to merge
coq-version-bump into master

Closes #84 (closed)

Edited by Björn Brandenburg

Merge request reports