coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
103 stars
7 watching
29 forks
Language: Coq
last commit: 18 days ago
Linked from 2 awesome lists
coq
coq-community/awesome-coq
uhub/awesome-coq