Isabelle Python Packages

isar-tools

Source tooling for Isabelle/Isar projects: a formatter, project and source checks, and statistics.

unicode-fol-kit

Parse, translate, prove and model-check logic formulas in Unicode notation: first-order, modal, description and higher-order logic, one API over a dozen provers, and an MCP server

isabelle-client

A client for Isabelle server (https://isabelle.in.tum.de)

isabelle-blueprint

Project planning, dependency tracking, and AI-task orchestration for Isabelle formalization projects.

unicode-logic-kit

Parse, translate, prove and model-check logic formulas in Unicode notation: first-order, modal, description and higher-order logic, one API over a dozen provers, and an MCP server

axsent

Measure what a formal library assumes: Rocq, Agda and Isabelle, from source, with nothing built