from
Hacker News
Top
New
tlringer
joined 7/28/19, 2:07 AM has 172 karma
Professor, University of Illinois Urbana-Champaign. Proof automation. Runs a number of international programs. https://dependenttyp.es
Proving Theorems with Computers (AMS Notice, Kevin Buzzard) [pdf]
by
tlringer
on 11/29/20, 9:03 PM, with
1
comments