173
reputation
1
6

Isabelle Newbie

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

0
answers
1
question
~5k
people reached
  • Member for 3 years, 6 months
  • 3 profile views
  • Last seen Dec 26 '16 at 22:45

Top tags (2)

Score 0
Posts 1
Score 0
Posts 1

Top posts (1) All Questions Answers | Votes Newest

Badges (7)

Gold

Silver

1

Rarest

Bronze

6

Rarest