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.
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.0.5.tar.gz
(8.7 kB
view hashes)
Built Distribution
Close
Hashes for isabelle_client-0.0.5-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 395e129e375f868c13277440a0035245fe3f0bc91bf1f6f8e4163fc842eda521 |
|
MD5 | 9add81be79f23ef040c54b7e8cd444a0 |
|
BLAKE2b-256 | 82ba614895ed173d2ab6a2eddeb857fdbb273605050c4e9f196230e3f33e7c11 |