A client to Isabelle proof assistant server
Project description
Isabelle Client
A client for Isabelle server. For more information about the server see part 4 of the Isabelle system manual.
For information on using this client see documentation.
.
Issues and PRs are welcome.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
isabelle-client-0.1.0.tar.gz
(9.4 kB
view hashes)
Built Distribution
Close
Hashes for isabelle_client-0.1.0-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9c5eff8281d9b06bf6e0e8aa4463fdebb5f3220a182ab1aa349c9f5e4d1298e3 |
|
MD5 | 9b1c57f9f6d9053cadbba532407a6cd4 |
|
BLAKE2b-256 | d48b4bf196e8bf9186556292d82e69ec329c0b81a735ccf76c2503b22d5fb71b |