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 34.1 kB | noarch/isabelle-client-0.5.9-pyhd8ed1ab_0.conda  12 days and 17 hours ago 54 main
conda 33.9 kB | noarch/isabelle-client-0.5.7-pyhd8ed1ab_0.conda  2 months and 13 days ago 159 main
conda 33.6 kB | noarch/isabelle-client-0.5.6-pyhd8ed1ab_0.conda  3 months and 10 days ago 217 main
conda 33.7 kB | noarch/isabelle-client-0.5.5-pyhd8ed1ab_0.conda  3 months and 27 days ago 257 main
conda 33.1 kB | noarch/isabelle-client-0.5.4-pyhd8ed1ab_0.conda  6 months and 1 day ago 373 main
conda 33.4 kB | noarch/isabelle-client-0.5.3-pyhd8ed1ab_0.conda  7 months and 10 days ago 462 main
conda 33.3 kB | noarch/isabelle-client-0.5.2-pyhd8ed1ab_0.conda  8 months and 21 days ago 663 main
conda 33.4 kB | noarch/isabelle-client-0.5.1-pyhd8ed1ab_0.conda  9 months and 23 days ago 799 main
conda 33.4 kB | noarch/isabelle-client-0.5.0-pyhd8ed1ab_0.conda  1 year and 1 month ago 968 main
conda 33.7 kB | noarch/isabelle-client-0.4.9-pyhd8ed1ab_0.conda  1 year and 4 months ago 1172 main
conda 33.6 kB | noarch/isabelle-client-0.4.7-pyhd8ed1ab_0.conda  1 year and 7 months ago 1170 main
conda 33.6 kB | noarch/isabelle-client-0.4.6-pyhd8ed1ab_0.conda  1 year and 8 months ago 1171 main
conda 33.6 kB | noarch/isabelle-client-0.4.5-pyhd8ed1ab_0.conda  1 year and 8 months ago 1244 main
conda 33.2 kB | noarch/isabelle-client-0.4.3-pyhd8ed1ab_0.conda  1 year and 11 months ago 1293 main
conda 33.1 kB | noarch/isabelle-client-0.4.2-pyhd8ed1ab_0.conda  2 years and 13 days ago 1272 main
conda 31.8 kB | noarch/isabelle-client-0.4.1-pyhd8ed1ab_0.conda  2 years and 1 month ago 1364 main
conda 26.2 kB | noarch/isabelle-client-0.3.17-pyhd8ed1ab_0.conda  2 years and 3 months ago 1470 main
conda 25.9 kB | noarch/isabelle-client-0.3.16-pyhd8ed1ab_0.conda  2 years and 4 months ago 1539 main
conda 25.9 kB | noarch/isabelle-client-0.3.15-pyhd8ed1ab_0.conda  2 years and 5 months ago 1582 main
conda 25.6 kB | noarch/isabelle-client-0.3.14-pyhd8ed1ab_0.conda  2 years and 6 months ago 1647 main
conda 25.4 kB | noarch/isabelle-client-0.3.13-pyhd8ed1ab_0.conda  2 years and 7 months ago 1646 main
conda 25.4 kB | noarch/isabelle-client-0.3.12-pyhd8ed1ab_0.conda  2 years and 8 months ago 1681 main
conda 20.4 kB | noarch/isabelle-client-0.3.9-pyhd8ed1ab_0.tar.bz2  2 years and 11 months ago 1813 main
conda 20.3 kB | noarch/isabelle-client-0.3.8-pyhd8ed1ab_0.tar.bz2  3 years and 12 days ago 1910 main
conda 20.4 kB | noarch/isabelle-client-0.3.7-pyhd8ed1ab_0.tar.bz2  3 years and 13 days ago 1945 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2) Legal | Privacy Policy