4 ms·Proving Theorems with Computers (AMS Notice, Kevin Buzzard) [pdf]3 points by tlringer 6y agotlringer 6y agoI'm really happy with the framing of this article, and with the nuance in discussing other ITPs and the history of ITPs!