Skip to main content
Isabelle Newbie's user avatar
Isabelle Newbie's user avatar
Isabelle Newbie's user avatar
Isabelle Newbie
  • Member for 8 years, 2 months
  • Last seen more than 2 years ago
Stats
203
reputation
14k
reached
0
answers
1
question
Loading…
About

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

Badges
1
gold badge
2
silver badges
7
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts