For a long time, I have intended to share the knowledge I have acquired on the Isabelle proof assistant with the rest of the internet. However, crafting the materials to a level of quality that satisfies me is a time-consuming process. This stops me from sharing these results even though I have already used them in classes and tutorials. This page is my answer to that situation. I will start uploading some unfinished things hoping that they help someone now. If I ever improve them to a level I like, I will link the final result to the end of this publication. For now, they are all in a dump repository:
- Exercises for familiarising yourself with Isabelle’s (2024) Interface. Includes some tips for doing things more efficiently. Not even some experienced users should skip it 😉.
- Cheat sheet relating the rules of logic and their name in Isabelle’s libraries.
- Cheat sheet explaining the usage of the most common proof methods in Isabelle.
Jonathan Julián Huerta y Munive 