We.Love.Privacy.Club @<lobste_rs https://feeds.twtxt.net/lobste_rs/twtxt.txt> "**Homotopy Type Theory for Dummies** Comments ⌘ Read more"

Login

feeds.twtxt.net

Mon, Nov 3 10:58AM (13w ago)

Homotopy Type Theory for Dummies
Comments ⌘ Read more

⤋ Read More

Participate

Login or Register to join in on this yarn.