A library of mechanised undecidability proofs in the Coq proof assistant.
Why do you think that https://github.com/coq-community/corn is a good alternative to coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
Why do you think that https://github.com/coq-community/corn is a good alternative to coq-library-undecidability