Equations 1.2.1 for Coq 8.11 is released!
Release 1.2.1 of Equations is available for Coq 8.11,
as source and through opam packages coq-equations.1.2.1+8.11,
See release notes for details on this release.
– Matthieu Sozeau
Release 1.2.1 of Equations is available for Coq 8.11,
as source and through opam packages coq-equations.1.2.1+8.11,
See release notes for details on this release.
– Matthieu Sozeau