isabelle-client
A client to Isabelle proof assistant server
View on Github
Activity
- Latest release
- 2mo ago
- Total releases
- 66
- Cadence
- ~30 days
- Last 12 months
- 7
Reach
- Stars
- —
Details
- License
- Apache-2.0
- First release
- Feb 20, 2021
Releases
| Version | Released | |
|---|---|---|
1.1.2
patch
| ||
1.1.1
patch
| ||
1.1.0
minor
| ||
1.0.2
patch
| ||
1.0.1
patch
| ||
1.0.0
major
| ||
0.6.0
minor
| ||
0.5.9
patch
| ||
0.5.7
patch
| ||
0.5.6
patch
| ||
0.5.5
patch
| ||
0.5.4
patch
| ||
0.5.3
patch
| ||
0.5.2
patch
| ||
0.5.1
patch
| ||
0.5.0
minor
| ||
0.4.11
patch
| ||
0.4.9
patch
| ||
0.4.7
patch
| ||
0.4.6
patch
| ||
0.4.5
patch
| ||
0.4.3
patch
| ||
0.4.2
patch
| ||
0.4.1
patch
| ||
0.4.0
minor
| ||
0.3.17
patch
| ||
0.3.16
patch
| ||
0.3.15
patch
| ||
0.3.14
patch
| ||
0.3.13
patch
| ||
0.3.12
patch
| ||
0.3.11
patch
| ||
0.3.10
patch
| ||
0.3.9
patch
| ||
0.3.8
patch
| ||
0.3.7
patch
| ||
0.3.6
patch
| ||
0.3.5
patch
| ||
0.3.4
patch
| ||
0.3.3
patch
| ||
0.3.2
patch
| ||
0.3.1
patch
| ||
0.3.0
minor
| ||
0.2.10
patch
| ||
0.2.9
patch
| ||
0.2.8
patch
| ||
0.2.7
patch
| ||
0.2.5
patch
| ||
0.2.4
patch
| ||
0.2.3
patch
|
1–50 of 66