Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
tlringer | Dark Hacker News
user:
tlringer
created:
July 28, 2019
karma:
172
about:
Professor, University of Illinois Urbana-Champaign. Proof automation. Runs a number of international programs. https://dependenttyp.es
submissions
comments
No submissions yet