raphlinus / ghilbertLinks
Automatically exported from code.google.com/p/ghilbert
☆48Updated 7 years ago
Alternatives and similar repositories for ghilbert
Users that are interested in ghilbert are comparing it to the libraries listed below
Sorting:
- Real number computation software☆124Updated 2 years ago
- A quick reference for mapping Coq tactics to Lean tactics☆72Updated 4 years ago
- HoTT in Lean 3☆80Updated 4 years ago
- Reference type checker for the Lean theorem prover☆62Updated 8 years ago
- A formalization of M-types in Agda☆32Updated 5 years ago
- Formalising Type Theory in a modular way for translations between type theories☆95Updated 7 years ago
- A (formalised) general definition of type theories