Rocq-Equations 1.3.1 is released for Rocq 9.0rc1!
Release 1.3.1 of Equations is available for Rocq 9.0rc1, as source and through opam packages.
See the release notes and updated reference manual for details.
– Matthieu Sozeau
Release 1.3.1 of Equations is available for Rocq 9.0rc1, as source and through opam packages.
See the release notes and updated reference manual for details.
– Matthieu Sozeau