A library of mechanised undecidability proofs in the Coq proof assistant.
Why do you think that https://github.com/math-comp/math-comp 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/math-comp/math-comp is a good alternative to coq-library-undecidability