Isabelle Newbie
9,258
reputation
1
20
32
Interested in software verification and theorem proving. The more automation the better.