Menu
About
Anaconda
Help
Download Anaconda
Sign In
Anaconda.com
A new user experience is coming soon! These rolling changes are ongoing and some pages will still have the old user interface.
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
1.1.1
1.0.1
1.0.0
0.6.0
0.5.9
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: All
All
Files with no label
main
Type
Size
Name
Uploaded
Downloads
Labels
conda
39.3 kB
|
noarch/isabelle-client-1.1.1-pyhd8ed1ab_0.conda
11 days and 23 hours ago
65
main
conda
37.2 kB
|
noarch/isabelle-client-1.0.1-pyhd8ed1ab_0.conda
5 months and 3 days ago
324
main
conda
36.0 kB
|
noarch/isabelle-client-1.0.0-pyhd8ed1ab_0.conda
5 months and 26 days ago
366
main
conda
33.6 kB
|
noarch/isabelle-client-0.6.0-pyhd8ed1ab_0.conda
7 months and 9 days ago
452
main
conda
34.1 kB
|
noarch/isabelle-client-0.5.9-pyhd8ed1ab_0.conda
8 months and 17 days ago
492
main
conda
33.9 kB
|
noarch/isabelle-client-0.5.7-pyhd8ed1ab_0.conda
10 months and 17 days ago
605
main
conda
33.6 kB
|
noarch/isabelle-client-0.5.6-pyhd8ed1ab_0.conda
11 months and 16 days ago
636
main
conda
33.7 kB
|
noarch/isabelle-client-0.5.5-pyhd8ed1ab_0.conda
1 year and 1 day ago
674
main
conda
33.1 kB
|
noarch/isabelle-client-0.5.4-pyhd8ed1ab_0.conda
1 year and 2 months ago
804
main
conda
33.4 kB
|
noarch/isabelle-client-0.5.3-pyhd8ed1ab_0.conda
1 year and 3 months ago
867
main
conda
33.3 kB
|
noarch/isabelle-client-0.5.2-pyhd8ed1ab_0.conda
1 year and 4 months ago
1084
main
conda
33.4 kB
|
noarch/isabelle-client-0.5.1-pyhd8ed1ab_0.conda
1 year and 5 months ago
1222
main
conda
33.4 kB
|
noarch/isabelle-client-0.5.0-pyhd8ed1ab_0.conda
1 year and 9 months ago
1389
main
conda
33.7 kB
|
noarch/isabelle-client-0.4.9-pyhd8ed1ab_0.conda
2 years and 20 days ago
1587
main
conda
33.6 kB
|
noarch/isabelle-client-0.4.7-pyhd8ed1ab_0.conda
2 years and 3 months ago
1569
main
conda
33.6 kB
|
noarch/isabelle-client-0.4.6-pyhd8ed1ab_0.conda
2 years and 4 months ago
1586
main
conda
33.6 kB
|
noarch/isabelle-client-0.4.5-pyhd8ed1ab_0.conda
2 years and 5 months ago
1643
main
conda
33.2 kB
|
noarch/isabelle-client-0.4.3-pyhd8ed1ab_0.conda
2 years and 7 months ago
1707
main
conda
33.1 kB
|
noarch/isabelle-client-0.4.2-pyhd8ed1ab_0.conda
2 years and 8 months ago
1683
main
conda
31.8 kB
|
noarch/isabelle-client-0.4.1-pyhd8ed1ab_0.conda
2 years and 9 months ago
1766
main
conda
26.2 kB
|
noarch/isabelle-client-0.3.17-pyhd8ed1ab_0.conda
2 years and 11 months ago
1892
main
conda
25.9 kB
|
noarch/isabelle-client-0.3.16-pyhd8ed1ab_0.conda
3 years and 18 days ago
1949
main
conda
25.9 kB
|
noarch/isabelle-client-0.3.15-pyhd8ed1ab_0.conda
3 years and 1 month ago
1988
main
conda
25.6 kB
|
noarch/isabelle-client-0.3.14-pyhd8ed1ab_0.conda
3 years and 2 months ago
2055
main
conda
25.4 kB
|
noarch/isabelle-client-0.3.13-pyhd8ed1ab_0.conda
3 years and 3 months ago
2031
main
« Previous
showing 1 of 2
Next »
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.18)
Legal
|
Privacy Policy
