isabelle-client
A client for Isabelle server (https://isabelle.in.tum.de)
Installation
To install this package, run one of the following:
Usage Tracking
1.0.1
1.0.0
0.6.0
0.5.9
0.5.7
5 / 8 versions selected
Downloads (Last 6 months): 0
Description
isabelle-client is a TCP client for Isabelle server. For more information about the server see part 4 of the Isabelle system manual: https://isabelle.in.tum.de/dist/Isabelle2025/doc/system.pdf#page=52
About
Summary
A client for Isabelle server (https://isabelle.in.tum.de)
Last Updated
Dec 14, 2025 at 15:00
License
Apache-2.0
Total Downloads
44.9K
Supported Platforms
noarch
GitHub Repository
https://github.com/inpefess/isabelle-clientDocumentation
https://isabelle-client.readthedocs.io/