173
reputation
1
6
Isabelle Newbie
Interested in software verification and theorem proving. The more automation the better.
0
answers
1
question
~6k
people reached
-
Member for 3 years, 9 months
-
4 profile views
-
Last seen Dec 26 '16 at 22:45
