isabelle-query 0.9.1

T1Covered by 1 source · first reported by PyPI / crates.io / RubyGems / Go index / NuGet at 25 Sept, 22:02 UTC

Query the live theory index of an Isabelle/Isar project — entries, call graph, dependencies, and dead code — by parsing .thy files on every invocation.

releases

Sources

• T1isabelle-query 0.9.1PyPI / crates.io / RubyGems / Go index / NuGet25 Sept, 22:02