Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
1.
Explorations of (Synthetic) Homotopy Theory in Coq (github.com/peterlefanulumsdaine)
2 points
colinprince
9 years ago
discuss