isabelle-client
A client for Isabelle server (https://isabelle.in.tum.de)
- Overview
- Files
- Labels
- Badges
Installation
To install this package, run one of the following:
Installation commands are not available for this package.
Usage Tracking
0 / 8 versions selected
Total downloads: 0
About
Summary
A client for Isabelle server (https://isabelle.in.tum.de)
Information Last Updated
Nov 20, 2025 at 20:18
License
Apache-2.0
Total Downloads
0
GitHub Repository
https://github.com/inpefess/isabelle-clientDocumentation
https://isabelle-client.readthedocs.io/