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.8.tar.gz
(10.5 kB
view hashes)
Built Distribution
Close
Hashes for isabelle_client-0.2.8-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | db86c39ade7bb91c56032a292f8c70be3b00d3a1c1e6885e3d7af43196c9d2d2 |
|
MD5 | edb1d7c9a8e30e44be8a1e4a3f302c90 |
|
BLAKE2b-256 | 4aa35ec33debd4e79d9112a8c36589328f7bb089b9bc9c05e6c9150cf9e36398 |