Registered user since Sun 9 Apr 2023
Name:Yulong Huang
Country:United Kingdom
Affiliation:University of Cambridge
Personal website: https://h-yulong.github.io/
GitHub: https://github.com/H-Yulong
Research interests:Dependent type theory, Automated theorem proving, Type-preserving compilation
Contributions
Using general profile