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