Skip to content

Coq.dev

Pierre Roux requested to merge proux/nc-coq:coq.dev into master

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

Depends on: !82 (merged)

Merge request reports