from Hacker News

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!