Thomas J. Porter

Registered user since Thu 14 Nov 2024

Name:Thomas J. Porter
Country:United States
Affiliation:University of Michigan
Research interests:Live Programming, Proof Assistants

Contributions