13
reputation
3

like

coq theorem proving

0
answers
2
questions
~583
people reached
  • Member for 7 years
  • 22 profile views
  • Last seen Aug 31 '12 at 3:48

Top network posts

We respect a laser-like focus on one topic.

Top tags (4)

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

Top posts (2) All Questions Answers | Votes Newest

-2 Problem in embedding Aug 29 '12

Badges (3)

Gold

Silver

Bronze

3

Rarest