like's user avatar
like's user avatar
like's user avatar
like
  • Member for 11 years, 7 months
  • Last seen more than 11 years ago
Stats
33
reputation
656
reached
0
answers
2
questions
About

coq theorem proving

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges
Top tags
0
Score
2
Posts
100
Posts %
0
Score
2
Posts
100
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
question
2
Aug 6, 2012
question
-2
Aug 29, 2012