leanclient
Python client to interact with the lean4 language server.
View on Github
Activity
- Latest release
- 3w ago
- Total releases
- 52
- Cadence
- ~4 days
- Last 12 months
- 29
Reach
- Stars
- 46
Details
- License
- MIT
- First release
- Jan 06, 2025
Releases
| Version | Released | |
|---|---|---|
0.13.2
patch
| ||
0.13.1
patch
| ||
0.13.0
minor
| ||
0.12.1
patch
| ||
0.12.0
minor
| ||
0.11.0
minor
| ||
0.10.0
minor
| ||
0.9.4
patch
| ||
0.9.3
patch
| ||
0.9.2
patch
| ||
0.9.1
patch
| ||
0.9.0
minor
| ||
0.8.0
minor
| ||
0.7.0
minor
| ||
0.6.2
patch
| ||
0.6.1
patch
| ||
0.6.0
minor
| ||
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.0
minor
| ||
0.3.1
patch
| ||
0.1.1
initial
| ||
0.3.0
minor
| ||
0.2.1
patch
| ||
0.2.0
minor
| ||
0.1.14
patch
| ||
0.1.13
patch
| ||
0.1.12
patch
| ||
0.1.11
patch
| ||
0.1.10
patch
| ||
0.1.9
patch
| ||
0.1.8
patch
| ||
0.1.7
patch
| ||
0.1.6
patch
| ||
0.1.5
patch
| ||
0.1.4
patch
| ||
0.1.3
patch
| ||
0.1.2
patch
| ||
0.1.0b10
pre
| ||
0.1.0b9
pre
| ||
0.1.0b8
pre
| ||
0.1.0b7
pre
| ||
0.1.0b6
pre
| ||
0.1.0b5
pre
| ||
0.1.0b4
pre
| ||
0.1.0b3
pre
|
1–50 of 52