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
Communities (7)
Top network posts
Badges (7)
Gold
—
Silver
1
Rarest
-
Jun 19 '18
Bronze
6
Rarest
-
May 8 '16
-
Dec 26 '16
-
Jul 28 '17
