WingNews logo WingNews

user: tlringer

172 karma | created 6 years ago

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

recent submissions