I'm into univalent type systems. Worked on Agda and Arend, working on Aya.

• Profile: https://personal.psu.edu/yqz5714
• Aya website: https://www.aya-prover.org

Visit count (since 23 Feb 2023):