hott
There are 4 repositories under hott topic.
- Language:Agda 410
EgbertRijke / HoTT-Intro
An introductory course to Homotopy Type Theory
Language:Agda 357- Language:Lean 73
forked-from-1kasper / ground_zero
Ground Zero: Lean 4 HoTT Library
Language:Lean 40- Language:TeX 36
Anders: Cubical Type Checker
Language:OCaml 18Castle Bravo: Experimental HoTT Implementation
Language:OCaml 6- Language:TeX 6
konn / vscode-redtt-diagnostics
Diagnostic extension for redtt prover
Language:TypeScript 3DmytroMitin / ProvingGround
Proving Ground: Tools for Automated Mathematics
Language:Jupyter Notebook 2- Language:Idris 2
Champitoad / CoqHopf
Construction of the Hopf fibration in Homotopy Type Theory, using the HoTT library for Coq.
Language:HTML 1- Language:Eagle 1
michaelKurowski / univalence-mappers
Write function for one type data, let it work with all sorts of variations of it
Language:TypeScript 1kotoromo / 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.
Language:HTML 0- Language:C++ 0
clara-de-andrade / types-and-cats
Some Notes on Types and Categories.
Language:CoqHurricane: HoTT-I Type System
Language:OCamljonaprieto / the-pigeonhole-principle
A formalisation of the pigeon theorem in UTT.
Language:TeX- Language:C++
