Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
This release is known to support MathComp version 2.0.0
to 2.2.0
and Coq 8.16
to 8.19
.
Changes:
2.2.0
This release supports MathComp version 2.0.0
and Coq 8.16
to 8.18
.
Changes:
This is a maintenance release and supports MathComp versions 1.11.0
to 1.14.0
in combination with compatible versions of Coq, at least 8.12
to 8.15
.
Changes:
misc.v
that now have replacements in MathComp.This is a maintenance release and has been tested with
Changes:
omega
have been replaced lia
This is a maintenance release and has been tested with:
Changes:
Proof using
to enable parallel builds for sections (#17).Compatibility release for coq-8.10 / mathcomp-1.9