Koundinya Vajjha
  • Member for 11 years, 7 months
  • Last seen more than 2 years ago
Stats
797
reputation
385k
reached
13
answers
15
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.

2
gold badges
18
silver badges
31
bronze badges
0
Score
9
Posts
32
Posts %
0
Score
4
Posts
14
Posts %
0
Score
2
Posts
7
Posts %
0
Score
2
Posts
7
Posts %
0
Score
11
Posts
39
Posts %
0
Score
9
Posts
32
Posts %
Top posts
View all questions and answers