Anatomy of a Formal Proof
https://www.ams.org/journals/notices/202502/noti3114/noti3114.htmlloading story #42818773
loading story #42820404
loading story #42816515
loading story #42820998
loading story #42820600
Hacker News new | past | comments | ask | show | jobs | submit