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: conda
All
conda
Version: All
All
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
37.2 kB
|
noarch/isabelle-client-1.0.1-pyhd8ed1ab_0.conda
2 months and 2 days ago
147
main
conda
36.0 kB
|
noarch/isabelle-client-1.0.0-pyhd8ed1ab_0.conda
2 months and 27 days ago
198
main
conda
33.6 kB
|
noarch/isabelle-client-0.6.0-pyhd8ed1ab_0.conda
4 months and 8 days ago
278
main
conda
34.1 kB
|
noarch/isabelle-client-0.5.9-pyhd8ed1ab_0.conda
5 months and 17 days ago
319
main
conda
33.9 kB
|
noarch/isabelle-client-0.5.7-pyhd8ed1ab_0.conda
7 months and 18 days ago
431
main
conda
33.6 kB
|
noarch/isabelle-client-0.5.6-pyhd8ed1ab_0.conda
8 months and 15 days ago
476
main
conda
33.7 kB
|
noarch/isabelle-client-0.5.5-pyhd8ed1ab_0.conda
9 months and 1 day ago
513
main
conda
33.1 kB
|
noarch/isabelle-client-0.5.4-pyhd8ed1ab_0.conda
11 months and 6 days ago
639
main
conda
33.4 kB
|
noarch/isabelle-client-0.5.3-pyhd8ed1ab_0.conda
1 year and 15 days ago
705
main
conda
33.3 kB
|
noarch/isabelle-client-0.5.2-pyhd8ed1ab_0.conda
1 year and 1 month ago
923
main
conda
33.4 kB
|
noarch/isabelle-client-0.5.1-pyhd8ed1ab_0.conda
1 year and 2 months ago
1059
main
conda
33.4 kB
|
noarch/isabelle-client-0.5.0-pyhd8ed1ab_0.conda
1 year and 6 months ago
1226
main
conda
33.7 kB
|
noarch/isabelle-client-0.4.9-pyhd8ed1ab_0.conda
1 year and 9 months ago
1422
main
conda
33.6 kB
|
noarch/isabelle-client-0.4.7-pyhd8ed1ab_0.conda
2 years and 14 days ago
1407
main
conda
33.6 kB
|
noarch/isabelle-client-0.4.6-pyhd8ed1ab_0.conda
2 years and 1 month ago
1414
main
conda
33.6 kB
|
noarch/isabelle-client-0.4.5-pyhd8ed1ab_0.conda
2 years and 2 months ago
1481
main
conda
33.2 kB
|
noarch/isabelle-client-0.4.3-pyhd8ed1ab_0.conda
2 years and 4 months ago
1543
main
conda
33.1 kB
|
noarch/isabelle-client-0.4.2-pyhd8ed1ab_0.conda
2 years and 5 months ago
1521
main
conda
31.8 kB
|
noarch/isabelle-client-0.4.1-pyhd8ed1ab_0.conda
2 years and 6 months ago
1606
main
conda
26.2 kB
|
noarch/isabelle-client-0.3.17-pyhd8ed1ab_0.conda
2 years and 8 months ago
1726
main
conda
25.9 kB
|
noarch/isabelle-client-0.3.16-pyhd8ed1ab_0.conda
2 years and 9 months ago
1791
main
conda
25.9 kB
|
noarch/isabelle-client-0.3.15-pyhd8ed1ab_0.conda
2 years and 10 months ago
1820
main
conda
25.6 kB
|
noarch/isabelle-client-0.3.14-pyhd8ed1ab_0.conda
2 years and 11 months ago
1895
main
conda
25.4 kB
|
noarch/isabelle-client-0.3.13-pyhd8ed1ab_0.conda
3 years and 19 days ago
1879
main
conda
25.4 kB
|
noarch/isabelle-client-0.3.12-pyhd8ed1ab_0.conda
3 years and 1 month ago
1926
main
« Previous
showing 1 of 2
Next »
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.14)
Legal
|
Privacy Policy
