I isabelle.in.tum.de Isabelle2016 released – Generic proof assistant 1 points sternenseemann 10 years ago 0 comments
