Menu
About
Anaconda
Help
Download Anaconda
Sign In
Anaconda.com
2025 Python Packaging Survey is now live!
Take the survey now
conda-forge
/
packages
/
isabelle-client
0
A client for Isabelle server (
https://isabelle.in.tum.de
)
copied from
cf-post-staging /
isabelle-client
Conda
Files
Labels
Badges
Error
No files were selected
×
Filters
Type: conda
All
conda
Version: All
All
0.5.7
0.5.6
0.5.5
0.5.4
0.5.3
0.5.2
0.5.1
0.5.0
0.4.9
0.4.7
0.4.6
0.4.5
0.4.3
0.4.2
0.4.1
0.3.17
0.3.16
0.3.15
0.3.14
0.3.13
0.3.12
0.3.9
0.3.8
0.3.7
0.3.6
0.3.5
0.3.4
0.3.3
0.3.2
Label: main
All
Files with no label
main
Type
Size
Name
Uploaded
Downloads
Labels
conda
33.9 kB
|
noarch/isabelle-client-0.5.7-pyhd8ed1ab_0.conda
1 month and 19 days ago
122
main
conda
33.6 kB
|
noarch/isabelle-client-0.5.6-pyhd8ed1ab_0.conda
2 months and 17 days ago
180
main
conda
33.7 kB
|
noarch/isabelle-client-0.5.5-pyhd8ed1ab_0.conda
3 months and 2 days ago
223
main
conda
33.1 kB
|
noarch/isabelle-client-0.5.4-pyhd8ed1ab_0.conda
5 months and 7 days ago
336
main
conda
33.4 kB
|
noarch/isabelle-client-0.5.3-pyhd8ed1ab_0.conda
6 months and 16 days ago
430
main
conda
33.3 kB
|
noarch/isabelle-client-0.5.2-pyhd8ed1ab_0.conda
7 months and 28 days ago
626
main
conda
33.4 kB
|
noarch/isabelle-client-0.5.1-pyhd8ed1ab_0.conda
8 months and 29 days ago
762
main
conda
33.4 kB
|
noarch/isabelle-client-0.5.0-pyhd8ed1ab_0.conda
1 year and 7 days ago
931
main
conda
33.7 kB
|
noarch/isabelle-client-0.4.9-pyhd8ed1ab_0.conda
1 year and 3 months ago
1137
main
conda
33.6 kB
|
noarch/isabelle-client-0.4.7-pyhd8ed1ab_0.conda
1 year and 6 months ago
1138
main
conda
33.6 kB
|
noarch/isabelle-client-0.4.6-pyhd8ed1ab_0.conda
1 year and 7 months ago
1140
main
conda
33.6 kB
|
noarch/isabelle-client-0.4.5-pyhd8ed1ab_0.conda
1 year and 8 months ago
1213
main
conda
33.2 kB
|
noarch/isabelle-client-0.4.3-pyhd8ed1ab_0.conda
1 year and 10 months ago
1262
main
conda
33.1 kB
|
noarch/isabelle-client-0.4.2-pyhd8ed1ab_0.conda
1 year and 11 months ago
1239
main
conda
31.8 kB
|
noarch/isabelle-client-0.4.1-pyhd8ed1ab_0.conda
2 years and 19 days ago
1330
main
conda
26.2 kB
|
noarch/isabelle-client-0.3.17-pyhd8ed1ab_0.conda
2 years and 2 months ago
1442
main
conda
25.9 kB
|
noarch/isabelle-client-0.3.16-pyhd8ed1ab_0.conda
2 years and 3 months ago
1509
main
conda
25.9 kB
|
noarch/isabelle-client-0.3.15-pyhd8ed1ab_0.conda
2 years and 4 months ago
1547
main
conda
25.6 kB
|
noarch/isabelle-client-0.3.14-pyhd8ed1ab_0.conda
2 years and 5 months ago
1615
main
conda
25.4 kB
|
noarch/isabelle-client-0.3.13-pyhd8ed1ab_0.conda
2 years and 6 months ago
1618
main
conda
25.4 kB
|
noarch/isabelle-client-0.3.12-pyhd8ed1ab_0.conda
2 years and 7 months ago
1647
main
conda
20.4 kB
|
noarch/isabelle-client-0.3.9-pyhd8ed1ab_0.tar.bz2
2 years and 10 months ago
1781
main
conda
20.3 kB
|
noarch/isabelle-client-0.3.8-pyhd8ed1ab_0.tar.bz2
2 years and 11 months ago
1875
main
conda
20.4 kB
|
noarch/isabelle-client-0.3.7-pyhd8ed1ab_0.tar.bz2
2 years and 11 months ago
1909
main
conda
19.9 kB
|
noarch/isabelle-client-0.3.6-pyhd8ed1ab_0.tar.bz2
3 years and 13 days ago
1972
main
« Previous
showing 1 of 2
Next »
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.0)
Legal
|
Privacy Policy