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: main
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
24 days and 13 hours ago
101
main
conda
37.2 kB
|
noarch/isabelle-client-1.0.1-pyhd8ed1ab_0.conda
5 months and 15 days ago
350
main
conda
36.0 kB
|
noarch/isabelle-client-1.0.0-pyhd8ed1ab_0.conda
6 months and 9 days ago
393
main
conda
33.6 kB
|
noarch/isabelle-client-0.6.0-pyhd8ed1ab_0.conda
7 months and 21 days ago
479
main
conda
34.1 kB
|
noarch/isabelle-client-0.5.9-pyhd8ed1ab_0.conda
8 months and 29 days ago
517
main
conda
33.9 kB
|
noarch/isabelle-client-0.5.7-pyhd8ed1ab_0.conda
11 months and 11 hours ago
633
main
conda
33.6 kB
|
noarch/isabelle-client-0.5.6-pyhd8ed1ab_0.conda
11 months and 28 days ago
661
main
conda
33.7 kB
|
noarch/isabelle-client-0.5.5-pyhd8ed1ab_0.conda
1 year and 14 days ago
701
main
conda
33.1 kB
|
noarch/isabelle-client-0.5.4-pyhd8ed1ab_0.conda
1 year and 2 months ago
830
main
conda
33.4 kB
|
noarch/isabelle-client-0.5.3-pyhd8ed1ab_0.conda
1 year and 3 months ago
892
main
conda
33.3 kB
|
noarch/isabelle-client-0.5.2-pyhd8ed1ab_0.conda
1 year and 5 months ago
1110
main
conda
33.4 kB
|
noarch/isabelle-client-0.5.1-pyhd8ed1ab_0.conda
1 year and 6 months ago
1247
main
conda
33.4 kB
|
noarch/isabelle-client-0.5.0-pyhd8ed1ab_0.conda
1 year and 9 months ago
1420
main
conda
33.7 kB
|
noarch/isabelle-client-0.4.9-pyhd8ed1ab_0.conda
2 years and 1 month ago
1614
main
conda
33.6 kB
|
noarch/isabelle-client-0.4.7-pyhd8ed1ab_0.conda
2 years and 3 months ago
1595
main
conda
33.6 kB
|
noarch/isabelle-client-0.4.6-pyhd8ed1ab_0.conda
2 years and 5 months ago
1613
main
conda
33.6 kB
|
noarch/isabelle-client-0.4.5-pyhd8ed1ab_0.conda
2 years and 5 months ago
1672
main
conda
33.2 kB
|
noarch/isabelle-client-0.4.3-pyhd8ed1ab_0.conda
2 years and 8 months ago
1729
main
conda
33.1 kB
|
noarch/isabelle-client-0.4.2-pyhd8ed1ab_0.conda
2 years and 9 months ago
1705
main
conda
31.8 kB
|
noarch/isabelle-client-0.4.1-pyhd8ed1ab_0.conda
2 years and 10 months ago
1792
main
conda
26.2 kB
|
noarch/isabelle-client-0.3.17-pyhd8ed1ab_0.conda
2 years and 11 months ago
1918
main
conda
25.9 kB
|
noarch/isabelle-client-0.3.16-pyhd8ed1ab_0.conda
3 years and 1 month ago
1975
main
conda
25.9 kB
|
noarch/isabelle-client-0.3.15-pyhd8ed1ab_0.conda
3 years and 1 month ago
2010
main
conda
25.6 kB
|
noarch/isabelle-client-0.3.14-pyhd8ed1ab_0.conda
3 years and 3 months ago
2078
main
conda
25.4 kB
|
noarch/isabelle-client-0.3.13-pyhd8ed1ab_0.conda
3 years and 4 months ago
2057
main
« Previous
showing 1 of 2
Next »
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.18)
Legal
|
Privacy Policy
