Results
3
repositories owned by
Amélia
1lab
301
Stars
58
Forks
Watchers
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
