tlringer
...joined 5 years ago, and has 172 karma
submissions / comments / favourites
Professor, University of Illinois Urbana-Champaign. Proof automation. Runs a number of international programs. https://dependenttyp.es
...joined 5 years ago, and has 172 karma
submissions / comments / favourites
Professor, University of Illinois Urbana-Champaign. Proof automation. Runs a number of international programs. https://dependenttyp.es