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.

2K 2 0
henryrobbins
open-atp

OpenATP is an open-source Python package providing a common interface for Automated Theorem Proving (ATP)

1K 17 0