Homotopy Type Theory for Dummies

(chriswarbo.net)

2 points | by fanf2 13 hours ago ago

1 comments