Python client for Isabelle server

TL;DR

This paper introduces a Python client for the Isabelle server, enabling direct TCP communication from Python scripts, simplifying integration for researchers and students, and showcasing new features and applications.

Contribution

The paper presents a new Python client for the Isabelle server, facilitating easier communication and integration for Python users, with updates and practical examples.

Findings

Enhanced Python client with new features

Successful applications in research and education

Discussion of limitations and future directions

Abstract

We contribute a Python client for the Isabelle server, which gives researchers and students using Python as their primary programming language an opportunity to communicate with the Isabelle server through TCP directly from a Python script. Such an approach helps avoid the complexities of integrating the existing Python script with languages used for Isabelle development (ML and Scala). We also describe new features that appeared since the announcement of the first version of the client a year ago. Finally, we give examples of the client's applications in research and education and discuss known limitations and possible directions for future development.