Skip to main content
Koundinya Vajjha's user avatar
Koundinya Vajjha's user avatar
Koundinya Vajjha's user avatar
Koundinya Vajjha
  • Member for 13 years, 10 months
  • Last seen more than a month ago
Stats
829
reputation
439k
reached
13
answers
16
questions
Loading…
About

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

3
gold badges
21
silver badges
31
bronze badges
0
Score
9
Posts
31
Posts %
0
Score
4
Posts
14
Posts %
0
Score
2
Posts
7
Posts %
0
Score
2
Posts
7
Posts %
0
Score
11
Posts
38
Posts %
0
Score
9
Posts
31
Posts %
Top posts
View all questions and answers