The source project of this merge request has been removed.
Coq.dev
Compile Prosa with coq dev, hence coq 8.11 which should be out very soon.
Depends on: !82 (merged)
Compile Prosa with coq dev, hence coq 8.11 which should be out very soon.
Depends on: !82 (merged)