Isabelle Tools Collection

This is a collection of maintained Isabelle add-on tools. Most are Isabelle/Scala components that are either very niche, too experimental, or not stable enough, to have made it into the distribution (yet).

Each tool resides in its own repository. This page merely gives an overview, and provides tooling to trigger ci pipelines on Isabelle changes. All tools have a status badge indicating whether they work with the latest Isabelle development version.

Tool list

Isabelle Linter

Isar linter for Isabelle/HOL.

FindFacts

A search engine for Isabelle.

Adding a tool to the collection

If you maintain an Isabelle tool, you can add it to the collection as follows:

1. Add code to ci_notify (inside dispatch method, where commented) to trigger your build on Isabelle changes
2. Add your tool with link and build badge to the list