Comment on What are the most mindblowing fact in mathematics?
febra@lemmy.world 1 year agoHoTT is really HOT right now. Pun intended. Yeah, type theory is great. I’ve never actually used it in connection with topology though
Comment on What are the most mindblowing fact in mathematics?
febra@lemmy.world 1 year agoHoTT is really HOT right now. Pun intended. Yeah, type theory is great. I’ve never actually used it in connection with topology though