Comment on What are the most mindblowing fact in mathematics?
febra@lemmy.world 2 years 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 2 years agoHoTT is really HOT right now. Pun intended. Yeah, type theory is great. I’ve never actually used it in connection with topology though