ice1000

Pennsylvania, USA

https://ice1000.org

I'm into univalent type systems. Worked on Agda and Arend, looking for PhD or similar research position.

Profile: https://personal.psu.edu/yqz5714

Top Questions
1 2 3 4 5

Top Answers
1 2