106
reputation
3

Isabelle Newbie

Interested in software verification and theorem proving. The more automation the better.

1
answer
1
question
~395
people reached
  • Member for 2 years, 8 months
  • 6 profile views
  • Last seen Feb 8 '17 at 8:39

Top tags (3)

Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 2

Top posts (2) All Questions Answers | Votes Newest

Badges (3)

Gold

Silver

Bronze

3

Rarest