Is there a version of Equations (ideally as an opam package :D ) that works with the 8.14.dev Coq opam package?
There must be: @Guillaume Melquiond probably know the exact commit to use
I submitted a package to
Please flag up here or on GitHub if someone wants this changed somehow, I just used the recent tag for 8.14.
Last updated: Jan 29 2023 at 15:02 UTC