skyskimmer / coq-library-undecidability Goto Github PK
View Code? Open in Web Editor NEWThis project forked from uds-psl/coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
License: Mozilla Public License 2.0