lane-core / kitcatLinks
Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda
☆12Updated 10 months ago
Alternatives and similar repositories for kitcat
Users that are interested in kitcat are comparing it to the libraries listed below
Sorting:
- A type theory for tiny objects☆17Updated last year
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆67Updated 10 months ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆52Updated 2 months ago
- Formalization of 2LTT in Agda☆15Updated 3 weeks ago