AndrasKovacs / antifunextLinks
antifunext
☆33Updated 11 months ago
Alternatives and similar repositories for antifunext
Users that are interested in antifunext are comparing it to the libraries listed below
Sorting:
- Extensions to the cubical stdlib category theory for categorical logic/type theory☆30Updated last week
- formalization of an equivariant cartesian cubical set model of type theory☆20Updated 5 months ago
- ☆25Updated 9 months ago
- Mechanizations of Type Theories☆29Updated 3 months ago
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…