#
hott
Here are 19 public repositories matching this topic...
An introductory course to Homotopy Type Theory
-
Updated
Jul 24, 2020 - Agda
-
Updated
Aug 1, 2021 - Lean
Homotopy Type Theory in Python!!!
-
Updated
Mar 28, 2019 - Python
how to use univalence in Homotopy type theory
-
Updated
Jan 2, 2021 - Agda
-
Updated
Dec 17, 2018
Diagnostic extension for redtt prover
-
Updated
Aug 10, 2021 - TypeScript
-
Updated
Oct 2, 2018
Proving Ground: Tools for Automated Mathematics
-
Updated
Aug 21, 2018 - Jupyter Notebook
A formalisation of the pigeon theorem in UTT.
-
Updated
Dec 15, 2020 - TeX
Construction of the Hopf fibration in Homotopy Type Theory, using the HoTT library for Coq.
-
Updated
Mar 23, 2020 - HTML
Improve this page
Add a description, image, and links to the hott topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the hott topic, visit your repo's landing page and select "manage topics."