About Anaconda Help Download Anaconda

conda-forge / packages / isabelle-client

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

copied from cf-post-staging / isabelle-client
Type Size Name Uploaded Downloads Labels
conda 39.3 kB | noarch/isabelle-client-1.1.1-pyhd8ed1ab_0.conda  25 days and 3 hours ago 106 main
conda 37.2 kB | noarch/isabelle-client-1.0.1-pyhd8ed1ab_0.conda  5 months and 16 days ago 351 main
conda 36.0 kB | noarch/isabelle-client-1.0.0-pyhd8ed1ab_0.conda  6 months and 10 days ago 394 main
conda 33.6 kB | noarch/isabelle-client-0.6.0-pyhd8ed1ab_0.conda  7 months and 22 days ago 480 main
conda 34.1 kB | noarch/isabelle-client-0.5.9-pyhd8ed1ab_0.conda  9 months and 4 hours ago 519 main
conda 33.9 kB | noarch/isabelle-client-0.5.7-pyhd8ed1ab_0.conda  11 months and 1 day ago 634 main
conda 33.6 kB | noarch/isabelle-client-0.5.6-pyhd8ed1ab_0.conda  11 months and 29 days ago 662 main
conda 33.7 kB | noarch/isabelle-client-0.5.5-pyhd8ed1ab_0.conda  1 year and 15 days ago 702 main
conda 33.1 kB | noarch/isabelle-client-0.5.4-pyhd8ed1ab_0.conda  1 year and 2 months ago 832 main
conda 33.4 kB | noarch/isabelle-client-0.5.3-pyhd8ed1ab_0.conda  1 year and 3 months ago 893 main
conda 33.3 kB | noarch/isabelle-client-0.5.2-pyhd8ed1ab_0.conda  1 year and 5 months ago 1111 main
conda 33.4 kB | noarch/isabelle-client-0.5.1-pyhd8ed1ab_0.conda  1 year and 6 months ago 1248 main
conda 33.4 kB | noarch/isabelle-client-0.5.0-pyhd8ed1ab_0.conda  1 year and 9 months ago 1420 main
conda 33.7 kB | noarch/isabelle-client-0.4.9-pyhd8ed1ab_0.conda  2 years and 1 month ago 1616 main
conda 33.6 kB | noarch/isabelle-client-0.4.7-pyhd8ed1ab_0.conda  2 years and 3 months ago 1596 main
conda 33.6 kB | noarch/isabelle-client-0.4.6-pyhd8ed1ab_0.conda  2 years and 5 months ago 1614 main
conda 33.6 kB | noarch/isabelle-client-0.4.5-pyhd8ed1ab_0.conda  2 years and 5 months ago 1674 main
conda 33.2 kB | noarch/isabelle-client-0.4.3-pyhd8ed1ab_0.conda  2 years and 8 months ago 1731 main
conda 33.1 kB | noarch/isabelle-client-0.4.2-pyhd8ed1ab_0.conda  2 years and 9 months ago 1707 main
conda 31.8 kB | noarch/isabelle-client-0.4.1-pyhd8ed1ab_0.conda  2 years and 10 months ago 1792 main
conda 26.2 kB | noarch/isabelle-client-0.3.17-pyhd8ed1ab_0.conda  3 years and 9 hours ago 1920 main
conda 25.9 kB | noarch/isabelle-client-0.3.16-pyhd8ed1ab_0.conda  3 years and 1 month ago 1976 main
conda 25.9 kB | noarch/isabelle-client-0.3.15-pyhd8ed1ab_0.conda  3 years and 2 months ago 2011 main
conda 25.6 kB | noarch/isabelle-client-0.3.14-pyhd8ed1ab_0.conda  3 years and 3 months ago 2079 main
conda 25.4 kB | noarch/isabelle-client-0.3.13-pyhd8ed1ab_0.conda  3 years and 4 months ago 2058 main

© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.18) Legal | Privacy Policy