We changed our privacy policy. Read more.
like
  • Member for 9 years, 1 month
Stats
33
reputation
617
reached
0
answers
2
questions
About

coq theorem proving

Top network posts

We respect a laser-like focus on one topic.

This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges

Top tags (4)

Score 0
Posts 2
Posts % 100
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1

Top posts (2)

-2 Problem in embedding Aug 29 '12