I am testing the Iris projects with Coq 8.16, and one of them uses equations. Is there a coq-8.16-compatible equations package yet? I cannot see one on opam
ah, I had just removed extra-dev to work around https://github.com/coq/opam-coq-archive/pull/2080#discussion_r944781266, and then forgot about it again... no wonder
Last updated: Mar 29 2024 at 09:02 UTC