/coq-library-undecidability

A library of mechanised undecidability proofs in the Coq proof assistant.

Primary LanguageCoqMozilla Public License 2.0MPL-2.0

Stargazers