ice1000
940
reputation
6
35
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):
