Proving Theorems with Computers (AMS Notice, Kevin Buzzard) [pdf] (opens in new tab)

(ams.org)

3 pointstlringer5y ago1 comments

1 comments

1 comments · 1 top-level

I'm really happy with the framing of this article, and with the nuance in discussing other ITPs and the history of ITPs!

j / k navigate · click thread line to collapse