Anatomy of a Formal Proof

Published: January 24, 2025

abstract-business-code-270348

Article URL: https://www.ams.org/journals/notices/202502/noti3114/noti3114.html

Comments URL: https://news.ycombinator.com/item?id=42815755

Points: 1

# Comments: 0