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
[ 3.0 ms ] story [ 14.6 ms ] thread