Good ideas and conversation. No ads, no tracking. Login or Take a Tour!
mrhazy
x 0
stats
following: 1
followed tags: 6
followed domains: 0
badges given: 0 of 0
hubskier for: 4076 days
following: 1
followed tags: 6
followed domains: 0
badges given: 0 of 0
hubskier for: 4076 days
mrhazy · 4075 days ago · link · · parent · post: Voevodsky’s Mathematical Revolution | Using Computers to Prove Theorems
Has anyone done any serious reading on homotopy type theory? I've been in a reading group for a couple of months now and it still hasn't clicked for me.