392
reputation
2
16
31

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.

13
answers
15
questions
~313k
people reached

Top tags (23)

Score 0
Posts 9
Posts % 32
Score 0
Posts 4
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 11
Score 0
Posts 9

Top posts (28) All Questions Answers | Votes Newest

View all questions and answers

Badges (49)

Gold

2

Rarest

Silver

16

Rarest

Bronze

31

Rarest