Isabelle Newbie
9,038
reputation
1
21
31
Interested in software verification and theorem proving. The more automation the better.