193
reputation
1
6

Isabelle Newbie

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

0
answers
1
question
~8k
people reached
  • Member for 4 years, 10 months
  • 4 profile views
  • Last seen Oct 14 '20 at 13:49

Top tags (2)

Score 0
Posts 1
Score 0
Posts 1

Top posts (1)

Badges (7)

Gold

Silver

1

Rarest

Bronze

6

Rarest