Anatomy of a Formal Proof ...

:rss: Hacker News /

npub1kdd…apt5

2025-01-24 18:42:25

Anatomy of a Formal Proof
https://www.ams.org/journals/notices/202502/noti3114/noti3114.html
#ycombinator

Author Public Key

npub1kddsc33gzwnsqsygg08wus8qrwslusv2j94egz0ler3emrnas07qppapt5

Show more details