Koundinya Vajjha
381
reputation
1
3
5
I am a graduate student at the University of Pittsburgh, currently being supervised by Tom Hales, and working on the Formal Abstracts project.