Isabelle2016 released – Generic proof assistant(isabelle.in.tum.de)1 points by sternenseemann 10 years ago | 0 commentsNo comments yet