Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with hott
A curated list of projects in awesome lists tagged with hott .
https://github.com/HoTT/HoTT-Agda
Development of homotopy type theory in Agda
Last synced: 03 Nov 2024
https://github.com/egbertrijke/hott-intro
An introductory course to Homotopy Type Theory
agda book coq formalization hott mathematics univalence
Last synced: 27 Sep 2024
https://github.com/EgbertRijke/HoTT-Intro
An introductory course to Homotopy Type Theory
agda book coq formalization hott mathematics univalence
Last synced: 08 Nov 2024
https://github.com/forked-from-1kasper/ground_zero
Ground Zero: Lean 4 HoTT Library
ctt cubical-type-theory homotopy-type-theory hott lean lean4 leanprover math
Last synced: 09 Aug 2024
https://github.com/jonaprieto/the-pigeonhole-principle
A formalisation of the pigeon theorem in UTT.
agda discrete-mathematics hott type-theory
Last synced: 30 Oct 2024
