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
13 days and 9 hours ago
69
main
conda
37.2 kB
|
noarch/isabelle-client-1.0.1-pyhd8ed1ab_0.conda
5 months and 4 days ago
327
main
conda
36.0 kB
|
noarch/isabelle-client-1.0.0-pyhd8ed1ab_0.conda
5 months and 28 days ago
370
main
conda
33.6 kB
|
noarch/isabelle-client-0.6.0-pyhd8ed1ab_0.conda
7 months and 10 days ago
457
main
conda
34.1 kB
|
noarch/isabelle-client-0.5.9-pyhd8ed1ab_0.conda
8 months and 18 days ago
493
main
conda
33.9 kB
|
noarch/isabelle-client-0.5.7-pyhd8ed1ab_0.conda
10 months and 19 days ago
610
main
conda
33.6 kB
|
noarch/isabelle-client-0.5.6-pyhd8ed1ab_0.conda
11 months and 17 days ago
639
main
conda
33.7 kB
|
noarch/isabelle-client-0.5.5-pyhd8ed1ab_0.conda
1 year and 3 days ago
679
main
conda
33.1 kB
|
noarch/isabelle-client-0.5.4-pyhd8ed1ab_0.conda
1 year and 2 months ago
809
main
conda
33.4 kB
|
noarch/isabelle-client-0.5.3-pyhd8ed1ab_0.conda
1 year and 3 months ago
871
main
conda
33.3 kB
|
noarch/isabelle-client-0.5.2-pyhd8ed1ab_0.conda
1 year and 4 months ago
1089
main
conda
33.4 kB
|
noarch/isabelle-client-0.5.1-pyhd8ed1ab_0.conda
1 year and 5 months ago
1226
main
conda
33.4 kB
|
noarch/isabelle-client-0.5.0-pyhd8ed1ab_0.conda
1 year and 9 months ago
1394
main
conda
33.7 kB
|
noarch/isabelle-client-0.4.9-pyhd8ed1ab_0.conda
2 years and 22 days ago
1592
main
conda
33.6 kB
|
noarch/isabelle-client-0.4.7-pyhd8ed1ab_0.conda
2 years and 3 months ago
1574
main
conda
33.6 kB
|
noarch/isabelle-client-0.4.6-pyhd8ed1ab_0.conda
2 years and 4 months ago
1590
main
conda
33.6 kB
|
noarch/isabelle-client-0.4.5-pyhd8ed1ab_0.conda
2 years and 5 months ago
1648
main
conda
33.2 kB
|
noarch/isabelle-client-0.4.3-pyhd8ed1ab_0.conda
2 years and 7 months ago
1710
main
conda
33.1 kB
|
noarch/isabelle-client-0.4.2-pyhd8ed1ab_0.conda
2 years and 8 months ago
1688
main
conda
31.8 kB
|
noarch/isabelle-client-0.4.1-pyhd8ed1ab_0.conda
2 years and 9 months ago
1771
main
conda
26.2 kB
|
noarch/isabelle-client-0.3.17-pyhd8ed1ab_0.conda
2 years and 11 months ago
1897
main
conda
25.9 kB
|
noarch/isabelle-client-0.3.16-pyhd8ed1ab_0.conda
3 years and 19 days ago
1952
main
conda
25.9 kB
|
noarch/isabelle-client-0.3.15-pyhd8ed1ab_0.conda
3 years and 1 month ago
1992
main
conda
25.6 kB
|
noarch/isabelle-client-0.3.14-pyhd8ed1ab_0.conda
3 years and 2 months ago
2059
main
conda
25.4 kB
|
noarch/isabelle-client-0.3.13-pyhd8ed1ab_0.conda
3 years and 3 months ago
2036
main
« Previous
showing 0 of 2
Next »
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.18)
Legal
|
Privacy Policy
