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.
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.7.tar.gz
(9.3 kB
view hashes)
Built Distribution
Close
Hashes for isabelle_client-0.0.7-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0fd53215b57902561a35ce8b875897f811e2f135e5a7f7457e45818ab3fa6bae |
|
MD5 | 624776240bc682784c2effe245871487 |
|
BLAKE2b-256 | b8fc90ccdc46b233a372a0b719c8fb57a3891f45e7bac15e43aa0151ec305074 |