hott
There are 26 repositories under hott topic.
HoTT/HoTT-Agda
Development of homotopy type theory in Agda
EgbertRijke/HoTT-Intro
An introductory course to Homotopy Type Theory
gebner/hott3
HoTT in Lean 3
forked-from-1kasper/ground_zero
Ground Zero: Lean 4 HoTT Library
ice1k/ConsHoTT
Constructive Interpretations of HoTT
forked-from-1kasper/anders
Anders: Cubical Type Checker
forked-from-1kasper/bravo
Castle Bravo: Experimental HoTT Implementation
ilhikki/hott-book-zh
《The HoTT Book》 中文翻译
lane-core/kitcat
Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda
konn/vscode-redtt-diagnostics
Diagnostic extension for redtt prover
PHart3/colimits-agda
A formalized construction of coslice colimits
DmytroMitin/ProvingGround
Proving Ground: Tools for Automated Mathematics
fabianhu/LiPoHoTT
2S to 6S LiPo monitor for HoTT
ionathanch/HoTT-Idris
Some HoTT in Idris.
Champitoad/CoqHopf
Construction of the Hopf fibration in Homotopy Type Theory, using the HoTT library for Coq.
michaelKurowski/univalence-mappers
Write function for one data type, let it work with all sorts of variations of it
xoration/HoTTTelemetryProtocol
HoTT Telemetry Protocol
clara-de-andrade/types-and-cats
Some Notes on Types and Categories.
kotoromo/IntroAgda
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.
ewdlop/Proof-Assistance-Note
https://en.wikipedia.org/wiki/Proof_assistant
forked-from-1kasper/hurricane
Hurricane: HoTT-I Type System
jonaprieto/the-pigeonhole-principle
A formalisation of the pigeon theorem in UTT.