Proving Theorems with Computers (AMS Notice, Kevin Buzzard) [pdf] (ams.org) 3 points by tlringer 5y ago ↗ HN
[–] tlringer 5y ago ↗ I'm really happy with the framing of this article, and with the nuance in discussing other ITPs and the history of ITPs!
1 comment
[ 4.8 ms ] story [ 20.4 ms ] thread