PyRank

Mathlib Python Packages

Python packages with the GitHub topic mathlib. 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.

900 0 0