Registered user since Sun 23 Aug 2020
Name:Jonathan Chan
Country:Canada
Affiliation:University of Pennsylvania
Personal website: https://ionathan.ch
X (Twitter): https://x.com/ionathanch
GitHub: https://github.com/ionathanch
Research interests:Dependent Types, Type Theory, Proof Assistants
Contributions
Using general profile