Skip to content

Top Best Ask Show New Jobs

tlringer | Better HN

tlringer

172 karmaJoined July 28, 201963 submissions

Professor, University of Illinois Urbana-Champaign. Proof automation. Runs a number of international programs. https://dependenttyp.es

Recent submissions

1

Proving Theorems with Computers (AMS Notice, Kevin Buzzard) [pdf] (opens in new tab)

(ams.org)PDF

3tlringer5y ago1