Skip to content
GitLab

Coq support policy: we support 2 Coq versions

Merged Ralf Jung requested to merge ralf/coqsupport into master

As discussed at the Iris workshop, we are aligning our policy with that of Coq itself.

Merge request reports