Manage | Anaconda.org

conda-forge / packages / isabelle-client 1.0.1

0

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

copied from cf-post-staging / isabelle-client

Conda
Files
Labels
Badges

License: Apache-2.0
Home: https://github.com/inpefess/isabelle-client
Development: https://github.com/inpefess/isabelle-client
Documentation: https://isabelle-client.readthedocs.io/
44864 total downloads
Last upload: 10 days and 2 hours ago

Installers

noarch v1.0.1

conda install

To install this package run one of the following:
conda install conda-forge::isabelle-client

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

conda-forge / packages / isabelle-client 1.0.1 0

Installers

conda install

Description

© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.13) Legal | Privacy Policy

conda-forge / packages / isabelle-client 1.0.1

0