PyRank

Lean Prover Python Packages

Python packages with the GitHub topic lean-prover. Sorted by relevance, with stars and monthly downloads.
Lemmy00
lean-probe

Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.

917 0 0