isabelle-client
A client for Isabelle server (https://isabelle.in.tum.de)
Installation
To install this package, run one of the following:
Installation commands are not available for this package.
Usage Tracking
latest
1 / 8 versions selected
Downloads (Last 6 months): 0
About
Summary
A client for Isabelle server (https://isabelle.in.tum.de)
Last Updated
May 5, 2026 at 18:05
License
Apache-2.0
GitHub Repository
https://github.com/inpefess/isabelle-clientDocumentation
https://isabelle-client.readthedocs.io/