Hacker News new | past | comments | ask | show | jobs | submit login

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 favorites