tlringer

Karma: 172

Joined: 将近 6 年前

ID: tlringer

About

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

Visit submission history to see stories and comments by tlringer.