A Compact Introduction to Isabelle/HOL
I found this tutorial by Tobias to be very useful in understanding isabelle Theorem Prover.
Further, Getting Sarted with isabelle, is for those formalism enthusiasts, who wants to get a first shot at Isabelle Theorem Prover.
No comments:
Post a Comment