GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ plt-amy
1 open source projects by plt-amy
[ Open user page on Github ]
1.
cubical-1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
✭ 93
Agda
haskell
SCSS
Nix
HTML
javascript
shell
agda
homotopy-type-theory
1-1
of
1
user projects
