Skip to content

[CI] Update with Coq 8.20 and mathcomp 2.3.0#97

Merged
proux01 merged 1 commit intocoq-community:masterfrom proux01:ci-updateDec 15, 2024
+14-9

Commits