unstable
channel
1lab
Formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Project websiteunstable
The package has no detailed description
Formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Project websiteunstable
The package has no detailed description
unstable
channel0-unstable-2025-07-01
versionagdaPackages
setYes
supportedNo
brokenFree
license46
platforms