121
reputation
2

Koundinya Vajjha

I am a graduate student at the University of Pittsburgh, currently being supervised by Tom Hales, and working on the Formal Abstracts project.

0
answers
1
question
~139
people reached

Top tags (1)

Score 0
Posts 1
Posts % 100

Top posts (1) All Questions Answers | Votes Newest

Badges (2)

Gold

Silver

Bronze

2

Rarest