lean-lsp-mcp
Lean Theorem Prover MCP
View on Github
Activity
- Latest release
- 3w ago
- Total releases
- 81
- Cadence
- ~3 days
- Last 12 months
- 55
Reach
- Stars
- 480
Details
- License
- MIT
- First release
- Mar 31, 2025
Releases
| Version | Released | |
|---|---|---|
0.30.0
minor
| ||
0.29.0
minor
| ||
0.28.1
patch
| ||
0.28.0
minor
| ||
0.27.0
minor
| ||
0.26.2
patch
| ||
0.26.1
patch
| ||
0.26.0
minor
| ||
0.25.1
patch
| ||
0.25.0
minor
| ||
0.24.0
minor
| ||
0.23.2
patch
| ||
0.23.1
patch
| ||
0.23.0
minor
| ||
0.22.4
patch
| ||
0.22.3
patch
| ||
0.22.2
patch
| ||
0.22.1
patch
| ||
0.22.0
minor
| ||
0.21.2
patch
| ||
0.21.1
patch
| ||
0.21.0
minor
| ||
0.20.0
minor
| ||
0.19.2
patch
| ||
0.19.1
patch
| ||
0.19.0
minor
| ||
0.18.0
minor
| ||
0.17.2
patch
| ||
0.17.1
patch
| ||
0.17.0
minor
| ||
0.16.2
patch
| ||
0.16.1
patch
| ||
0.16.0
minor
| ||
0.15.0
minor
| ||
0.14.1
patch
| ||
0.14.0
minor
| ||
0.13.2
patch
| ||
0.13.1
patch
| ||
0.13.0
minor
| ||
0.12.1
patch
| ||
0.12.0
minor
| ||
0.11.3
patch
| ||
0.11.2
patch
| ||
0.11.1
patch
| ||
0.11.0
minor
| ||
0.10.3
patch
| ||
0.10.2
patch
| ||
0.10.1
patch
| ||
0.10.0
minor
| ||
0.9.1
patch
|
1–50 of 81