isabelle-client
A client for Isabelle server (https://isabelle.in.tum.de)
- Overview
- Files 32
- Labels 1
- Badges
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
noarch/isabelle-client-1.0.0-pyhd8ed1ab_0.conda | conda | v1.0.0 | noarch | main | 1 day ago | 35.97 KB | 28 | |
noarch/isabelle-client-0.6.0-pyhd8ed1ab_0.conda | conda | v0.6.0 | noarch | main | Oct 8, 2025, 07:50 AM | 33.56 KB | 120 | |
noarch/isabelle-client-0.5.9-pyhd8ed1ab_0.conda | conda | v0.5.9 | noarch | main | Aug 30, 2025, 04:49 PM | 34.13 KB | 176 | |
noarch/isabelle-client-0.5.7-pyhd8ed1ab_0.conda | conda | v0.5.7 | noarch | main | Jun 29, 2025, 08:26 PM | 33.89 KB | 289 | |
noarch/isabelle-client-0.5.6-pyhd8ed1ab_0.conda | conda | v0.5.6 | noarch | main | Jun 1, 2025, 01:43 PM | 33.56 KB | 338 | |
noarch/isabelle-client-0.5.5-pyhd8ed1ab_0.conda | conda | v0.5.5 | noarch | main | May 15, 2025, 08:16 PM | 33.72 KB | 374 | |
noarch/isabelle-client-0.5.4-pyhd8ed1ab_0.conda | conda | v0.5.4 | noarch | main | Mar 10, 2025, 08:23 PM | 33.15 KB | 499 | |
noarch/isabelle-client-0.5.3-pyhd8ed1ab_0.conda | conda | v0.5.3 | noarch | main | Feb 1, 2025, 03:28 PM | 33.4 KB | 575 | |
noarch/isabelle-client-0.5.2-pyhd8ed1ab_0.conda | conda | v0.5.2 | noarch | main | Dec 21, 2024, 01:20 PM | 33.27 KB | 785 | |
noarch/isabelle-client-0.5.1-pyhd8ed1ab_0.conda | conda | v0.5.1 | noarch | main | Nov 19, 2024, 10:30 PM | 33.44 KB | 922 | |
noarch/isabelle-client-0.5.0-pyhd8ed1ab_0.conda | conda | v0.5.0 | noarch | main | Aug 11, 2024, 06:35 AM | 33.39 KB | 1.1K | |
noarch/isabelle-client-0.4.9-pyhd8ed1ab_0.conda | conda | v0.4.9 | noarch | main | Apr 26, 2024, 07:30 PM | 33.65 KB | 1.3K | |
noarch/isabelle-client-0.4.7-pyhd8ed1ab_0.conda | conda | v0.4.7 | noarch | main | Feb 2, 2024, 08:43 PM | 33.58 KB | 1.3K | |
noarch/isabelle-client-0.4.6-pyhd8ed1ab_0.conda | conda | v0.4.6 | noarch | main | Dec 29, 2023, 10:08 AM | 33.59 KB | 1.3K | |
noarch/isabelle-client-0.4.5-pyhd8ed1ab_0.conda | conda | v0.4.5 | noarch | main | Dec 16, 2023, 12:14 PM | 33.64 KB | 1.4K | |
noarch/isabelle-client-0.4.3-pyhd8ed1ab_0.conda | conda | v0.4.3 | noarch | main | Sep 27, 2023, 01:45 PM | 33.15 KB | 1.4K | |
noarch/isabelle-client-0.4.2-pyhd8ed1ab_0.conda | conda | v0.4.2 | noarch | main | Aug 29, 2023, 07:05 PM | 33.13 KB | 1.4K | |
noarch/isabelle-client-0.4.1-pyhd8ed1ab_0.conda | conda | v0.4.1 | noarch | main | Jul 29, 2023, 07:17 PM | 31.75 KB | 1.5K | |
noarch/isabelle-client-0.3.17-pyhd8ed1ab_0.conda | conda | v0.3.17 | noarch | main | May 30, 2023, 11:20 AM | 26.18 KB | 1.6K | |
noarch/isabelle-client-0.3.16-pyhd8ed1ab_0.conda | conda | v0.3.16 | noarch | main | Apr 29, 2023, 12:01 PM | 25.91 KB | 1.6K | |
noarch/isabelle-client-0.3.15-pyhd8ed1ab_0.conda | conda | v0.3.15 | noarch | main | Mar 30, 2023, 05:45 PM | 25.87 KB | 1.7K | |
noarch/isabelle-client-0.3.14-pyhd8ed1ab_0.conda | conda | v0.3.14 | noarch | main | Feb 27, 2023, 10:13 PM | 25.61 KB | 1.8K | |
noarch/isabelle-client-0.3.13-pyhd8ed1ab_0.conda | conda | v0.3.13 | noarch | main | Jan 28, 2023, 09:42 PM | 25.37 KB | 1.7K | |
noarch/isabelle-client-0.3.12-pyhd8ed1ab_0.conda | conda | v0.3.12 | noarch | main | Jan 2, 2023, 11:48 AM | 25.4 KB | 1.8K | |
noarch/isabelle-client-0.3.9-pyhd8ed1ab_0.tar.bz2 | conda | v0.3.9 | noarch | main | Sep 30, 2022, 04:41 PM | 20.36 KB | 1.9K |