Skip to content

Coq support policy: we support 2 Coq versions

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