leanprover-community / lean-client-pythonLinks
Python talking to the Lean theorem prover
☆45Updated 3 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:
- ☆21Updated last year
- Interactive neural theorem proving in Lean☆123Updated 3 years ago
- ☆27Updated 3 years ago
- Tools based on AI for helping with Lean 4☆92Updated 2 weeks ago
- A search engine for Lean 4 declarations☆29Updated 3 weeks ago
- Lean mathzoo☆25Updated 3 years ago
- Proof artifact co-training for Lean☆45Updated 2 years ago
- ☆48Updated last month
- ☆14Updated 2 years ago
- ☆86Updated last month
- Conservative floating point interval arithmetic in Lean☆18Updated this week
- Mathport is a tool for porting Lean3 projects to Lean4☆44Updated 8 months ago
- ☆49Updated 5 months ago
- ☆50Updated 3 years ago
- ☆10Updated this week
- Python client to interact with the lean4 language server.☆22Updated 3 weeks ago
- ☆51Updated last week
- Formalizing "Proofs from THE BOOK"☆64Updated this week
- Proof recording for Lean 3☆27Updated 3 years ago
- Experiments on automation for Lean☆125Updated 3 weeks ago
- A (WIP) equality saturation tactic for Lean based on egg.☆66Updated this week
- Lean for the Curious Mathematician 2020☆67Updated last year
- WIP collections library for Lean 4☆32Updated 2 months ago
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆20Updated last month
- ☆16Updated 4 years ago
- The Lean 4 web editor☆99Updated last month
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.☆62Updated last year
- LeanInteract: A Python Interface for Lean 4☆45Updated last week
- A formalization of the Rubik's cube group☆27Updated 4 years ago
- Beginner's guide to Tactic Programming in Lean☆44Updated last week