EnglishtutorialID: 9c4b5925
Isabelle/HOL - A Proof Assistant for Higher-Order Logic
Category
BY PROGRAMMING LANGUAGE / Isabelle/HOL
External Link
http://isabelle.in.tum.de/doc/tutorial.pdfYour Library
BY PROGRAMMING LANGUAGEIsabelle/HOL
Open Resource ↗