173
reputation
5

Isabelle Newbie

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

0
answers
1
question
~2k
people reached
  • Member for 3 years
  • 6 profile views
  • Last seen May 15 at 21:40

Top tags (2)

Score 0
Posts 1
Score 0
Posts 1

Top posts (1)

Badges (5)

Gold

Silver

Bronze

5

Rarest