Good ideas and conversation. No ads, no tracking. Login or Take a Tour!
mrhazy · 4076 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.