138
reputation
5

Isabelle Newbie

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

0
answers
1
question
~1k
people reached
  • Member for 2 years, 2 months
  • 5 profile views
  • Last seen Aug 30 '17 at 20:46

Top tags (2)

Score 0
Posts 1
Score 0
Posts 1

Top posts (1) All Questions Answers | Votes Newest

Badges (5)

Gold

Silver

Bronze

5

Rarest