from
Hacker News
Top
New
Proving Theorems with Computers (AMS Notice, Kevin Buzzard) [pdf]
by
tlringer
on 11/29/20, 9:03 PM with 1 comments
by
tlringer
on 11/29/20, 9:04 PM
I'm really happy with the framing of this article, and with the nuance in discussing other ITPs and the history of ITPs!