Skip to content

Compile with Coq 8.13 and mathcomp 1.12

Pierre Roux requested to merge proux/rt-proofs:coq813 into master

Prosa compiles out of the box with the new Coq 8.13 released in january, so just bumping the limit in the .opam and adding it to the CI.

Merge request reports