About

This website contains a collection of useful tips/tricks/hints for Isabelle users. It is maintained by the isabelle-prover GitHub group, a self-managed community of Isabelle users. Feel free to reach out if you are interested in becoming a maintainer or have any questions by creating an issue on GitHub.