hott
Here are 26 public repositories matching this topic...
A formalisation of the pigeon theorem in UTT.
-
Updated
Dec 15, 2020 - TeX
Цикл статей, посвящённый основаниям математики
-
Updated
May 15, 2025
Material para una exposición dada el Miércoles 2 de Marzo del 2023 sobre una introducción a Agda como asistente de pruebas y a la Teoría Homotópica de Tipos.
-
Updated
May 26, 2023 - HTML
https://en.wikipedia.org/wiki/Proof_assistant; 一錯特錯錯到底! 爆炸原理是重哪來的?
-
Updated
Feb 23, 2025 - Coq
Write function for one data type, let it work with all sorts of variations of it
-
Updated
Feb 9, 2024 - TypeScript
Hurricane: HoTT-I Type System
-
Updated
Mar 21, 2022 - OCaml
-
Updated
Oct 2, 2018
Construction of the Hopf fibration in Homotopy Type Theory, using the HoTT library for Coq.
-
Updated
Mar 23, 2020 - HTML
Proving Ground: Tools for Automated Mathematics
-
Updated
Aug 21, 2018 - Jupyter Notebook
Diagnostic extension for redtt prover
-
Updated
Feb 26, 2022 - TypeScript
-
Updated
Dec 17, 2018
-
Updated
Aug 8, 2025 - Agda
Castle Bravo: Experimental HoTT Implementation
-
Updated
Jun 16, 2023 - OCaml
Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda
-
Updated
Oct 25, 2024 - Agda
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."