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.2.tar.gz
(10.0 kB
view hashes)
Built Distribution
Close
Hashes for isabelle_client-0.1.2-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c878d5b60be4ff7d80d415e2d3a98aba41d7918acfe38e265c3c80f6fd1ce85c |
|
MD5 | b067f2cda0e7c68e5522f51462a3f882 |
|
BLAKE2b-256 | 7baf866817be629b98f6104832bcbcf15402e352c26a33358880934b3c85cb5b |