Super User Stack Exchange
Super User Stack Exchange

Isabelle Newbie
111
reputation
3
  • Member since February 02 2017
  • 11 profile views
  • Last seen Jul 04 '23 at 17:12

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