felixwellen/cubical-1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

No README found.

Agda94.1%Haskell2.3%SCSS1.8%Nix0.8%HTML0.5%JavaScript0.4%Shell0.1%

GNU Affero General Public License v3.0

Created February 21, 2022

Updated July 19, 2024