EnglishtutorialID: 9c4b5925
Isabelle/HOL - A Proof Assistant for Higher-Order Logic
This resource packs key Isabelle/HOL commands and methods into a high-density lookup sheet. Highly optimized for experienced developers seeking a quick reminder.
Category
BY PROGRAMMING LANGUAGE / Isabelle/HOL
Provider
Tum
External Link
http://isabelle.in.tum.de/doc/tutorial.pdfYour Library
Editorial Review & Decision Guide
Best For:
- Developers searching for quick template snippets or CLI syntax sheets
- Experienced developers looking for a fast reminder of Isabelle/HOL methods
Access Recommendation: Recommended to open this link directly to utilize it as a rapid desk reference.
BY PROGRAMMING LANGUAGEIsabelle/HOL
Open Resource ↗