Indprinciple's user avatar
Indprinciple's user avatar
Indprinciple's user avatar
Indprinciple
  • Member for 1 year, 7 months
  • Last seen more than 1 year ago
Stats
90
reputation
253
reached
1
answer
2
questions
About

I'm a student. I'm interested in automated/interactive theorem proving.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
7
bronze badges
Top tags
1
Score
3
Posts
100
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts