Projects in Awesome Lists by HoTT
A curated list of projects in awesome lists by HoTT .
https://github.com/HoTT/HoTT
A Coq library for Homotopy Type Theory
homotopy-type-theory type-theory univalent-foundations
Last synced: 22 Mar 2025
https://github.com/hott/coq-hott
A Coq library for Homotopy Type Theory
homotopy-type-theory type-theory univalent-foundations
Last synced: 14 May 2025
https://github.com/HoTT/Coq-HoTT
A Coq library for Homotopy Type Theory
homotopy-type-theory type-theory univalent-foundations
Last synced: 03 Apr 2025
https://github.com/HoTT/HoTT-Agda
Development of homotopy type theory in Agda
Last synced: 02 Apr 2025
https://github.com/hott/hott-agda
Development of homotopy type theory in Agda
Last synced: 22 Feb 2025
https://github.com/hott/epit-2020
EPIT 2020 - Spring School on Homotopy Type Theory
Last synced: 22 Feb 2025
https://github.com/hott/archive
Archived materials related to Homotopy Type Theory.
Last synced: 22 Feb 2025