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.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
14 days and 7 hours ago
65
main
conda
36.0 kB
|
noarch/isabelle-client-1.0.0-pyhd8ed1ab_0.conda
1 month and 8 days ago
123
main
conda
33.6 kB
|
noarch/isabelle-client-0.6.0-pyhd8ed1ab_0.conda
2 months and 20 days ago
201
main
conda
34.1 kB
|
noarch/isabelle-client-0.5.9-pyhd8ed1ab_0.conda
3 months and 28 days ago
246
main
conda
33.9 kB
|
noarch/isabelle-client-0.5.7-pyhd8ed1ab_0.conda
5 months and 29 days ago
355
main
conda
33.6 kB
|
noarch/isabelle-client-0.5.6-pyhd8ed1ab_0.conda
6 months and 27 days ago
398
main
conda
33.7 kB
|
noarch/isabelle-client-0.5.5-pyhd8ed1ab_0.conda
7 months and 13 days ago
438
main
conda
33.1 kB
|
noarch/isabelle-client-0.5.4-pyhd8ed1ab_0.conda
9 months and 18 days ago
565
main
conda
33.4 kB
|
noarch/isabelle-client-0.5.3-pyhd8ed1ab_0.conda
10 months and 27 days ago
639
main
conda
33.3 kB
|
noarch/isabelle-client-0.5.2-pyhd8ed1ab_0.conda
1 year and 7 days ago
849
main
conda
33.4 kB
|
noarch/isabelle-client-0.5.1-pyhd8ed1ab_0.conda
1 year and 1 month ago
987
main
conda
33.4 kB
|
noarch/isabelle-client-0.5.0-pyhd8ed1ab_0.conda
1 year and 4 months ago
1150
main
conda
33.7 kB
|
noarch/isabelle-client-0.4.9-pyhd8ed1ab_0.conda
1 year and 8 months ago
1346
main
conda
33.6 kB
|
noarch/isabelle-client-0.4.7-pyhd8ed1ab_0.conda
1 year and 10 months ago
1336
main
conda
33.6 kB
|
noarch/isabelle-client-0.4.6-pyhd8ed1ab_0.conda
1 year and 11 months ago
1343
main
conda
33.6 kB
|
noarch/isabelle-client-0.4.5-pyhd8ed1ab_0.conda
2 years and 12 days ago
1406
main
conda
33.2 kB
|
noarch/isabelle-client-0.4.3-pyhd8ed1ab_0.conda
2 years and 3 months ago
1465
main
conda
33.1 kB
|
noarch/isabelle-client-0.4.2-pyhd8ed1ab_0.conda
2 years and 3 months ago
1445
main
conda
31.8 kB
|
noarch/isabelle-client-0.4.1-pyhd8ed1ab_0.conda
2 years and 4 months ago
1529
main
conda
26.2 kB
|
noarch/isabelle-client-0.3.17-pyhd8ed1ab_0.conda
2 years and 6 months ago
1650
main
conda
25.9 kB
|
noarch/isabelle-client-0.3.16-pyhd8ed1ab_0.conda
2 years and 7 months ago
1713
main
conda
25.9 kB
|
noarch/isabelle-client-0.3.15-pyhd8ed1ab_0.conda
2 years and 8 months ago
1750
main
conda
25.6 kB
|
noarch/isabelle-client-0.3.14-pyhd8ed1ab_0.conda
2 years and 10 months ago
1821
main
conda
25.4 kB
|
noarch/isabelle-client-0.3.13-pyhd8ed1ab_0.conda
2 years and 11 months ago
1810
main
conda
25.4 kB
|
noarch/isabelle-client-0.3.12-pyhd8ed1ab_0.conda
2 years and 11 months ago
1856
main
« Previous
showing 0 of 2
Next »
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.13)
Legal
|
Privacy Policy
