Python client for Isabelle server
Published in Zenodo (CERN European Organization for Nuclear Research) • Apr 26, 2022
Authors:
Shminke, Boris
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 integratin...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!