tlringer Karma 172 Created 6 years ago About Professor, University of Illinois Urbana-Champaign. Proof automation. Runs a number of international programs. https://dependenttyp.es All submissions on HN · View profile on HN