Isabelle Community Cookbook

This website contains a collection of useful tips/tricks/hints for Isabelle users contributed by the community. It is in an early stage – please contribute here.

Other useful resources can be found on isabelle.systems.

Table of Contents

• Commands: important Isabelle commands and tips on how to use them effectively
• Common Errors: common errors and how to fix them
• Common Pitfalls: common pitfalls and how to avoid them
• General: general tips to get started with Isabelle
• Proofs: how to effectively write proofs for common proof obligations
• Searching Isabelle: how to search Isabelle and the AFP.