Reviews
A library of mechanised undecidability proofs in the Coq proof assistant.
Search similar apps
License
Mozilla Public License 2.0
A library of mechanised undecidability proofs in the Coq proof assistant.
Creator
Related apps
autosubst2
Official repository of the Autosubst 2 project.
Haskell15other
12 months ago
coqformalizationmetatheory-language