This website contains a list of interesting Isabelle websites, tools, projects, etc. and corresponding quick access links. It is maintained by the isabelle-prover GitHub group, a self-managed community of Isabelle users. Feel free to reach out if you..
Relevance: 19.45534