Indprinciple's user avatar
Indprinciple's user avatar
Indprinciple's user avatar
Indprinciple
  • Member for 1 year, 5 months
  • Last seen more than 1 year ago
  • China
Stats
1
reputation
0
reached
0
answers
0
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.
1
bronze badge
Posts

This user hasn’t posted yet.