PyRank

Lean Prover Python Packages

Python packages with the GitHub topic lean-prover. Sorted by monthly downloads, with stars and forks.
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.

207 5 0