Registered user since Thu 14 Nov 2024
Name:Thomas J. Porter
Country:United States
Affiliation:University of Michigan
Personal website: https://thomasporter522.github.io/
Research interests:Live Programming, Proof Assistants
Contributions
Using general profile