This website contains style guidelines for the development of projects with the Isabelle proof assistant. Many of these guidelines have been adapted from the successful Lean mathlib contribution guidelines. The website 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.