HoTT in Japanese
β36Oct 1, 2023Updated 2 years ago
Alternatives and similar repositories for hott-ja
Users that are interested in hott-ja are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- πͺ A Staged Type Theoryβ35Sep 4, 2023Updated 2 years ago
- β15Oct 31, 2023Updated 2 years ago
- Experiments with Realizability in Univalent Type Theoryβ19Oct 21, 2024Updated last year
- Organize mathematical thoughtsβ20Oct 6, 2023Updated 2 years ago
- my phd thesisβ26Aug 7, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Experiments with preordered set models of (directed) type theoriesβ15Jul 10, 2019Updated 6 years ago
- quotient types in cubical Agdaβ24Feb 4, 2019Updated 7 years ago