Zhi Yuan Qi
Student Intern
Research Interests
Zhi is working on adding extensible disjunctive types in higher order logic in proof assistants like Isabelle/HOL.
Contact Details
| Email: | zhi.qi@student.unsw.edu.au |
|---|
More contact information is available at the Contact page.
