HN Explorer

tlringer

↗ HN profile [ 69.6 ms ] full profile
Karma
172
Created
July 28, 2019 (7y ago)
Submissions
0
Professor, University of Illinois Urbana-Champaign. Proof automation. Runs a number of international programs. https://dependenttyp.es
  1. Proving Theorems with Computers (AMS Notice, Kevin Buzzard) [pdf] (ams.org)
    3 points 1