Coq.dev

Compile Prosa with coq dev, hence coq 8.11 which should be out very soon.

Depends on: !82 (merged)

added 1 commit

• 12f79735 - Compile with coq dev

Compare with previous version

We recently lost the mathcomp coq-dev docker image (due to a recent change in Coq dev breaking mathcomp), so we should maybe wait for 8.11 to be out (and the corresponding docker image to be built) in order for the CI to go through.

Thanks for fixing this!

merged