A client to Isabelle proof assistant server
Project description
Documentation is hosted here.
If you're writing a research paper, you can cite Isabelle client (and Isabelle 2021) in the following way.
Video example
.
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.2.7.tar.gz
(10.4 kB
view hashes)
Built Distribution
Close
Hashes for isabelle_client-0.2.7-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ab44549489f24417fd61473dc080463827d90e06a5d02f73bc6a74dc345b62d2 |
|
MD5 | d3c66cc776ea0887146d6fb2e78e43dd |
|
BLAKE2b-256 | 3b8e0b62d890b7c424dc02411e7ce9a43606e7a58260812b0c513ad3a9103e7c |