This repository contains the resources for the isabelle community conventions. The conventions contain 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.
If you want to add/udpdate an entry, simply add/edit the corresponding entry in the corresponding directory and create a pull request. If you need help, simply create an issue.
To build and view the website locally, see here.