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: 08 Nov 2024
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: 10 Nov 2024
https://github.com/forked-from-1kasper/anders
Anders: Cubical Type Checker
ctt cubical-type-theory dependent-type-theory dependent-types homotopy-type-theory hott mltt proof-assistant theorem-prover type-checker type-system
Last synced: 10 Nov 2024
https://github.com/forked-from-1kasper/bravo
Castle Bravo: Experimental HoTT Implementation
dependent-types homotopy-type-theory hott hott-uf mltt proof-assistant theorem-prover type-checker univalent-foundations
Last synced: 10 Nov 2024
https://github.com/forked-from-1kasper/hurricane
Hurricane: HoTT-I Type System
dependent-type-theory dependent-types homotopy-type-theory hott hott-uf mltt proof-assistant theorem-prover type-checker
Last synced: 10 Nov 2024
https://github.com/jonaprieto/the-pigeonhole-principle
A formalisation of the pigeon theorem in UTT.
agda discrete-mathematics hott type-theory
Last synced: 18 Dec 2024
