leanprover-community / lean-client-pythonLinks
Python talking to the Lean theorem prover
☆45Updated 4 years ago
Alternatives and similar repositories for lean-client-python
Users that are interested in lean-client-python are comparing it to the libraries listed below
Sorting:
- Interactive neural theorem proving in Lean☆124Updated 3 years ago
- ☆21Updated last year
- ☆27Updated 3 years ago
- A search engine for Lean 4 declarations☆29Updated last month
- Proof artifact co-training for Lean☆45Updated 2 years ago
- Lean mathzoo☆25Updated 3 years ago
- Tools based on AI for helping with Lean 4☆92Updated last week
- Conservative floating point interval arithmetic in Lean☆18Updated this week
- Mathport is a tool for porting Lean3 projects to Lean4☆44Updated 9 months ago
- ☆49Updated this week
- LeanInteract: A Python Interface for Lean 4☆46Updated last week
- Beginner's guide to Tactic Programming in Lean☆50Updated 2 weeks ago
- ☆49Updated 6 months ago
- Formalizing "Proofs from THE BOOK"☆64Updated 3 weeks ago
- ☆53Updated last week
- Python client to interact with the lean4 language server.☆22Updated last week
- ☆87Updated this week
- Fermat's Last Theorem for regular primes☆61Updated last week
- ☆14Updated 2 years ago
- Proof recording for Lean 3☆27Updated 3 years ago
- ☆50Updated 3 years ago
- WIP collections library for Lean 4☆32Updated 3 months ago
- Lean for the Curious Mathematician 2020☆67Updated last year
- Catalog Of Math Problems Formalized In Lean☆192Updated this week
- ☆10Updated this week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆183Updated this week
- A (WIP) equality saturation tactic for Lean based on egg.☆68Updated last week
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆74Updated 2 weeks ago
- Formalizing results about the Mandelbrot set in Lean☆23Updated this week
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆20Updated 2 months ago