until https://github.com/uds-psl/coq-library-undecidability/pull/216 is merged
it is now merged
Last updated: Oct 13 2024 at 01:02 UTC