stanford-centaur / PyPantographLinks
A Machine-to-Machine Interaction System for Lean 4.
☆115Updated 2 weeks ago
Alternatives and similar repositories for PyPantograph
Users that are interested in PyPantograph are comparing it to the libraries listed below
Sorting:
- A simple REPL for Lean 4, returning information about errors and sorries.☆159Updated 2 weeks ago
- Kimina Lean server (+ client SDK)☆121Updated last week
- ☆49Updated 7 months ago
- ImProver: Agent-Based Automated Proof Optimization☆37Updated last week
- LeanInteract: A Python Interface for Lean 4☆60Updated last week
- A "code intepreter" for Lean☆70Updated last month
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆163Updated last month
- Python client to interact with the lean4 language server.