Equations 1.3beta is released!
Release 1.3beta of Equations is available, as source and through opam
package coq-equations.1.3~beta+8.13
,
for Coq 8.13. See the release notes and updated
reference manual for details.
– Matthieu Sozeau
Release 1.3beta of Equations is available, as source and through opam
package coq-equations.1.3~beta+8.13
,
for Coq 8.13. See the release notes and updated
reference manual for details.
– Matthieu Sozeau