utensil / lean4_jupyterLinks
A Lean 4 Jupyter kernel via repl
☆27Updated 9 months ago
Alternatives and similar repositories for lean4_jupyter
Users that are interested in lean4_jupyter are comparing it to the libraries listed below
Sorting:
- A template for blueprint-driven formalization projects in Lean.☆70Updated 2 weeks ago
- Tools based on AI for helping with Lean 4☆93Updated this week
- Tool to analyse the import structure of lean projects.☆14Updated 3 weeks ago
- Python client to interact with the lean4 language server.☆22Updated 3 weeks ago
- ☆21Updated last year
- ☆50Updated last week
- tool for turning Lean proofs into Blender animations☆75Updated last week
- Conservative floating point interval arithmetic in Lean☆20Updated last week
- Convex optimization modeling in Lean 4☆54Updated last year
- Beginner's guide to Tactic Programming in Lean☆52Updated this week
- Try a tactic at each step in a Lean proof.☆29Updated 3 weeks ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆28Updated 3 weeks ago
- Examples using MetaProgramming for writing tactics etc.☆20Updated 2 weeks ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆59Updated 2 weeks ago
- ProofNet dataset ported into Lean 4☆22Updated 2 months ago
- A search engine for Lean 4 declarations☆30Updated last month
- Fermat's Last Theorem for regular primes☆61Updated this week
- The matrix cookbook, proved in the Lean theorem prover☆116Updated 3 weeks ago
- Lean for the Curious Mathematician 2020☆67Updated last year
- Formalizing Euclidean Geometry in Lean☆29Updated last year
- Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.☆32Updated 3 months ago
- Formalizing "Proofs from THE BOOK"☆64Updated this week
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆20Updated 2 months ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆152Updated 2 weeks ago
- Python talking to the Lean theorem prover☆46Updated 4 years ago
- LeanInteract: A Python Interface for Lean 4☆51Updated this week
- A (WIP) equality saturation tactic for Lean based on egg.☆69Updated 2 weeks ago
- ☆53Updated 3 weeks ago
- The Lean reference manual☆79Updated last week
- Leaff is a diff tool for Lean environments☆19Updated 7 months ago