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.1.tar.gz
(9.5 kB
view hashes)
Built Distribution
Close
Hashes for isabelle_client-0.1.1-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 22795f59c3ef099ae1c94c53c446d9bd46a905c28c372f427c63d1d7f713f0ab |
|
MD5 | efc7e3876132d7ddfa95c449226ef72e |
|
BLAKE2b-256 | 192f0c50c508ab7ed1fd0301b39b908599371fac19af4fd7b7e81ba946c3a2e1 |