Reference resource for mathematics done in Homotopy Type Theory
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory. Unlike the HoTT book, the 1lab is not a “linear” resource: Concepts are presented as a directed graph, with links indicating dependencies.
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/vkz9zv5sp370im7r8pagf2mhxj1y504a-agda-1lab-0.0-3.afcf848.drv | ||
i686-linux | /gnu/store/rkbbc8v62z2pylprnilq9v6pak11bb9r-agda-1lab-0.0-3.afcf848.drv |
Linter | Message | Location |
---|---|---|
No lint warnings ✓ |