remix7531
github.com/remix7531 · maintains 3 packages (3 directly), sole maintainer of 3, member of 0 teams
3 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
MCP server for the Lean theorem prover via the Lean LSP |
0.28.1 |
1 | 20 | 0 | 0 | single | ||
Python client for the Lean theorem prover LSP |
0.12.0 → 0.13.2 |
1 | 19 | 0 | 0 | single outdated | ||
Python client for the Lean theorem prover LSP |
0.12.0 → 0.13.2 |
1 | 19 | 1 | 1 | single outdated |