Indprinciple's user avatar
Indprinciple's user avatar
Indprinciple's user avatar
Indprinciple
  • Member for 3 months
  • Last seen more than a month ago
Stats
90
reputation
215
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 %