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: All
All
conda
Version: All
All
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: All
All
Files with no label
main
Type
Size
Name
Uploaded
Downloads
Labels
conda
33.6 kB
|
noarch/isabelle-client-0.5.6-pyhd8ed1ab_0.conda
25 days and 13 hours ago
84
main
conda
33.7 kB
|
noarch/isabelle-client-0.5.5-pyhd8ed1ab_0.conda
1 month and 11 days ago
130
main
conda
33.1 kB
|
noarch/isabelle-client-0.5.4-pyhd8ed1ab_0.conda
3 months and 16 days ago
250
main
conda
33.4 kB
|
noarch/isabelle-client-0.5.3-pyhd8ed1ab_0.conda
4 months and 25 days ago
343
main
conda
33.3 kB
|
noarch/isabelle-client-0.5.2-pyhd8ed1ab_0.conda
6 months and 5 days ago
529
main
conda
33.4 kB
|
noarch/isabelle-client-0.5.1-pyhd8ed1ab_0.conda
7 months and 7 days ago
674
main
conda
33.4 kB
|
noarch/isabelle-client-0.5.0-pyhd8ed1ab_0.conda
10 months and 15 days ago
844
main
conda
33.7 kB
|
noarch/isabelle-client-0.4.9-pyhd8ed1ab_0.conda
1 year and 2 months ago
1049
main
conda
33.6 kB
|
noarch/isabelle-client-0.4.7-pyhd8ed1ab_0.conda
1 year and 4 months ago
1046
main
conda
33.6 kB
|
noarch/isabelle-client-0.4.6-pyhd8ed1ab_0.conda
1 year and 5 months ago
1063
main
conda
33.6 kB
|
noarch/isabelle-client-0.4.5-pyhd8ed1ab_0.conda
1 year and 6 months ago
1125
main
conda
33.2 kB
|
noarch/isabelle-client-0.4.3-pyhd8ed1ab_0.conda
1 year and 8 months ago
1177
main
conda
33.1 kB
|
noarch/isabelle-client-0.4.2-pyhd8ed1ab_0.conda
1 year and 9 months ago
1151
main
conda
31.8 kB
|
noarch/isabelle-client-0.4.1-pyhd8ed1ab_0.conda
1 year and 10 months ago
1241
main
conda
26.2 kB
|
noarch/isabelle-client-0.3.17-pyhd8ed1ab_0.conda
2 years and 27 days ago
1355
main
conda
25.9 kB
|
noarch/isabelle-client-0.3.16-pyhd8ed1ab_0.conda
2 years and 1 month ago
1418
main
conda
25.9 kB
|
noarch/isabelle-client-0.3.15-pyhd8ed1ab_0.conda
2 years and 2 months ago
1458
main
conda
25.6 kB
|
noarch/isabelle-client-0.3.14-pyhd8ed1ab_0.conda
2 years and 3 months ago
1532
main
conda
25.4 kB
|
noarch/isabelle-client-0.3.13-pyhd8ed1ab_0.conda
2 years and 4 months ago
1530
main
conda
25.4 kB
|
noarch/isabelle-client-0.3.12-pyhd8ed1ab_0.conda
2 years and 5 months ago
1560
main
conda
20.4 kB
|
noarch/isabelle-client-0.3.9-pyhd8ed1ab_0.tar.bz2
2 years and 8 months ago
1690
main
conda
20.3 kB
|
noarch/isabelle-client-0.3.8-pyhd8ed1ab_0.tar.bz2
2 years and 9 months ago
1792
main
conda
20.4 kB
|
noarch/isabelle-client-0.3.7-pyhd8ed1ab_0.tar.bz2
2 years and 9 months ago
1820
main
conda
19.9 kB
|
noarch/isabelle-client-0.3.6-pyhd8ed1ab_0.tar.bz2
2 years and 10 months ago
1878
main
conda
18.3 kB
|
noarch/isabelle-client-0.3.5-pyhd8ed1ab_0.tar.bz2
3 years and 1 month ago
2229
main
« Previous
showing 1 of 2
Next »
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.0)
Legal
|
Privacy Policy