About Anaconda Help Download Anaconda

conda-forge / packages / isabelle-client

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

copied from cf-staging / isabelle-client
Type Size Name Uploaded Downloads Labels
conda 33.1 kB | noarch/isabelle-client-0.5.4-pyhd8ed1ab_0.conda  5 days and 9 hours ago 26 main
conda 33.4 kB | noarch/isabelle-client-0.5.3-pyhd8ed1ab_0.conda  1 month and 14 days ago 139 main
conda 33.3 kB | noarch/isabelle-client-0.5.2-pyhd8ed1ab_0.conda  2 months and 22 days ago 320 main
conda 33.4 kB | noarch/isabelle-client-0.5.1-pyhd8ed1ab_0.conda  3 months and 24 days ago 455 main
conda 33.4 kB | noarch/isabelle-client-0.5.0-pyhd8ed1ab_0.conda  7 months and 4 days ago 605 main
conda 33.7 kB | noarch/isabelle-client-0.4.9-pyhd8ed1ab_0.conda  10 months and 17 days ago 824 main
conda 33.6 kB | noarch/isabelle-client-0.4.7-pyhd8ed1ab_0.conda  1 year and 1 month ago 830 main
conda 33.6 kB | noarch/isabelle-client-0.4.6-pyhd8ed1ab_0.conda  1 year and 2 months ago 847 main
conda 33.6 kB | noarch/isabelle-client-0.4.5-pyhd8ed1ab_0.conda  1 year and 2 months ago 895 main
conda 33.2 kB | noarch/isabelle-client-0.4.3-pyhd8ed1ab_0.conda  1 year and 5 months ago 962 main
conda 33.1 kB | noarch/isabelle-client-0.4.2-pyhd8ed1ab_0.conda  1 year and 6 months ago 943 main
conda 31.8 kB | noarch/isabelle-client-0.4.1-pyhd8ed1ab_0.conda  1 year and 7 months ago 1003 main
conda 26.2 kB | noarch/isabelle-client-0.3.17-pyhd8ed1ab_0.conda  1 year and 9 months ago 1124 main
conda 25.9 kB | noarch/isabelle-client-0.3.16-pyhd8ed1ab_0.conda  1 year and 10 months ago 1209 main
conda 25.9 kB | noarch/isabelle-client-0.3.15-pyhd8ed1ab_0.conda  1 year and 11 months ago 1235 main
conda 25.6 kB | noarch/isabelle-client-0.3.14-pyhd8ed1ab_0.conda  2 years and 16 days ago 1309 main
conda 25.4 kB | noarch/isabelle-client-0.3.13-pyhd8ed1ab_0.conda  2 years and 1 month ago 1320 main
conda 25.4 kB | noarch/isabelle-client-0.3.12-pyhd8ed1ab_0.conda  2 years and 2 months ago 1346 main
conda 20.4 kB | noarch/isabelle-client-0.3.9-pyhd8ed1ab_0.tar.bz2  2 years and 5 months ago 1463 main
conda 20.3 kB | noarch/isabelle-client-0.3.8-pyhd8ed1ab_0.tar.bz2  2 years and 6 months ago 1580 main
conda 20.4 kB | noarch/isabelle-client-0.3.7-pyhd8ed1ab_0.tar.bz2  2 years and 6 months ago 1598 main
conda 19.9 kB | noarch/isabelle-client-0.3.6-pyhd8ed1ab_0.tar.bz2  2 years and 7 months ago 1645 main
conda 18.3 kB | noarch/isabelle-client-0.3.5-pyhd8ed1ab_0.tar.bz2  2 years and 10 months ago 2006 main
conda 18.3 kB | noarch/isabelle-client-0.3.4-pyhd8ed1ab_0.tar.bz2  2 years and 11 months ago 1986 main
conda 18.3 kB | noarch/isabelle-client-0.3.3-pyhd8ed1ab_0.tar.bz2  2 years and 11 months ago 2038 main
conda 18.2 kB | noarch/isabelle-client-0.3.2-pyhd8ed1ab_0.tar.bz2  3 years and 1 month ago 2015 main

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