Skip to content

Coq support policy: we support 2 Coq versions

Ralf Jungrequested 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