isabelle-hol
Source tooling for Isabelle/Isar projects: a formatter, project and source checks, and statistics.
Project planning, dependency tracking, and AI-task orchestration for Isabelle formalization projects.
Viz Isabelle ⟨l, a, r⟩ graphs
