Agda
Trending Agda repositories, ranked by momentum.
1 results
- Place 10.0
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Follow this list in a feed reader(Atom, top 25)
Trending Agda repositories, ranked by momentum.
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Follow this list in a feed reader(Atom, top 25)