4 projects
isabelle-watchdog
Isabelle build watchdog, and the build-trajectory corpus it records
isabelle-query
Query the live theory index of an Isabelle/Isar project — entries, call graph, dependencies, and dead code — by parsing .thy files on every invocation.
solver-support
Generic Conjure / Savile Row / Fast Downward / SymK / ENHSP / UPF solver pipeline
isabelle-layout
What structure an Isabelle project has, according to its own files — sessions, theory headers, and project roots read from ROOT files and .thy headers, with no Isabelle process involved.
