Reviews
Modeling and Proving in Computational Type Theory
Search similar apps
License
Related apps
autosubst2
Official repository of the Autosubst 2 project.
Haskell15other
last year
coqformalizationmetatheory-language
coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
Coq98mpl-2.0
6 months ago
coq