ice1000
6,406
reputation
4
39
85
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):
