Isabelle Newbie
173
reputation
1
5
Interested in software verification and theorem proving. The more automation the better.