Isabelle Newbie
203
reputation
1
2
7
Interested in software verification and theorem proving. The more automation the better.