Hackernews
new
show
ask
jobs
Homotopy Type Theory for Dummies
2 points
posted 3 months ago
by fanf2
(chriswarbo.net)
No comments yet