anuyts / menkarLinks
The multimode presheaf proof-assistant
☆36Updated 2 years ago
Alternatives and similar repositories for menkar
Users that are interested in menkar are comparing it to the libraries listed below
Sorting:
- ☆30Updated 2 years ago
- A formalized proof of a version of the initiality conjecture☆43Updated 5 years ago
- ☆16Updated 3 years ago
- NbE course @ Chalmers☆28Updated last year
- Observational Type Theory as an Agda library☆55Updated 8 years ago
- ☆23Updated last year
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- A self-contained repository for the paper Type and Scope Preserving Semantics☆23Updated 6 years ago
- Linear Logic for Constructive Mathematics, in Agda☆17Updated 6 years ago
- Proof automation – for Agda, in Agda.☆44Updated 5 years ago
- being a collection of Agda-facilitated ramblings☆33Updated 5 years ago
- A personal library, formalizing cohesive homotopy type theory in Agda.