CMD + K
conda-forge/isabelle-client

isabelle-client

Community

A client for Isabelle server (https://isabelle.in.tum.de)

Copied fromcf-post-staging / isabelle-client

Installation

To install this package, run one of the following:

Conda
$conda install conda-forge::isabelle-client

Usage Tracking

1.0.0
0.6.0
0.5.9
0.5.7
0.5.6
5 / 8 versions selected
Total downloads: 0

Description

isabelle-client is a TCP client for Isabelle server. For more information about the server see part 4 of the Isabelle system manual: https://isabelle.in.tum.de/dist/Isabelle2025/doc/system.pdf#page=52

About

Summary

A client for Isabelle server (https://isabelle.in.tum.de)

Information Last Updated

Nov 20, 2025 at 20:18

License

Apache-2.0

Total Downloads

43.5K

Platforms

noarch Version: 1.0.0

Home

https://github.com/inpefess/isabelle-client

GitHub Repository

https://github.com/inpefess/isabelle-client

Documentation

https://isabelle-client.readthedocs.io/