Reviews
Official repository of the Autosubst 2 project.
Search similar apps
License
Other
Related apps
coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
Coq98mpl-2.0
6 months ago
coq
Official repository of the Autosubst 2 project.
Other
A library of mechanised undecidability proofs in the Coq proof assistant.
Coq98mpl-2.0
6 months ago
coq