231
reputation
3
5

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
~7k
people reached

Top tags (2)

Score 0
Posts 1
Score 0
Posts 1

Top posts (1) All Questions Answers | Votes Newest

Badges (8)

Gold

Silver

3

Rarest

Bronze

5

Rarest