Skip to content

coq-coqeal.2.0.2 is not compatible with MathComp 2.3.0#3257

Merged
palmskog merged 1 commit intocoq:masterfrom palmskog:coqeal-2.0.2-mc-2.3Dec 14, 2024
+1-1

Commits

Commits on Dec 14, 2024