About Anaconda Help Download Anaconda
Sign In
Anaconda.com

conda-forge / packages / isabelle-client

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

copied from cf-post-staging / isabelle-client

Filters
Type Size Name Uploaded Downloads Labels
conda 25.4 kB | noarch/isabelle-client-0.3.12-pyhd8ed1ab_0.conda  3 years and 4 months ago 2086 main
conda 20.4 kB | noarch/isabelle-client-0.3.9-pyhd8ed1ab_0.tar.bz2  3 years and 7 months ago 2224 main
conda 20.3 kB | noarch/isabelle-client-0.3.8-pyhd8ed1ab_0.tar.bz2  3 years and 8 months ago 2319 main
conda 20.4 kB | noarch/isabelle-client-0.3.7-pyhd8ed1ab_0.tar.bz2  3 years and 8 months ago 2330 main
conda 19.9 kB | noarch/isabelle-client-0.3.6-pyhd8ed1ab_0.tar.bz2  3 years and 9 months ago 2432 main
conda 18.3 kB | noarch/isabelle-client-0.3.5-pyhd8ed1ab_0.tar.bz2  4 years and 20 days ago 2757 main
conda 18.3 kB | noarch/isabelle-client-0.3.4-pyhd8ed1ab_0.tar.bz2  4 years and 1 month ago 2759 main
conda 18.3 kB | noarch/isabelle-client-0.3.3-pyhd8ed1ab_0.tar.bz2  4 years and 1 month ago 2782 main
conda 18.2 kB | noarch/isabelle-client-0.3.2-pyhd8ed1ab_0.tar.bz2  4 years and 3 months ago 2789 main
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.18) Legal | Privacy Policy