add test Coq 8.13 #310
Description
Since Coq 8.13+beta1 is out, we should start compiling against it. To do after the release of a version compatible with MathComp 1.12 as provided by PR #275 .
{{ message }}
Since Coq 8.13+beta1 is out, we should start compiling against it. To do after the release of a version compatible with MathComp 1.12 as provided by PR #275 .