duckki / lean-quantumLinks
Formalized quantum computing in Lean theorem prover
☆34Updated 4 years ago
Alternatives and similar repositories for lean-quantum
Users that are interested in lean-quantum are comparing it to the libraries listed below
Sorting:
- Coq library for reasoning about quantum programs☆40Updated 4 months ago
- Quantum information theory in Lean 4☆101Updated this week
- A Small Quantum Intermediate Representation☆91Updated 6 months ago
- A quantum circuit language and formal verification tool☆106Updated 8 months ago
- Tools based on AI for helping with Lean 4☆112Updated this week
- Formalizing "Proofs from THE BOOK"☆80Updated last week
- An interactive theorem prover for string diagrams☆124Updated last year
- ☆28Updated last year
- Verifying the ZX Calculus☆20Updated 3 weeks ago
- Lean for the Curious Mathematician 2020☆68Updated 2 years ago
- Conservative floating point interval arithmetic in Lean☆24Updated 2 weeks ago
- A Lean file formatter☆71Updated 3 years ago
- Lennard Jones in Lean☆21Updated 6 months ago
- Beginner's guide to Tactic Programming in Lean☆66Updated 5 months ago
- The Lean reference manual☆102Updated this week
- A formalized proof of Carleson's theorem in Lean☆83Updated last week
- A (WIP) equality saturation tactic for Lean based on egg.☆78Updated 4 months ago
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆87Updated this week
- Python talking to the Lean theorem prover☆46Updated 4 years ago
- Code samples for Lean 4☆76Updated 2 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆171Updated 6 years ago
- Document Generator for Lean 4☆122Updated this week
- Lean 4 formalization of Rubik's cubes☆32Updated 11 months ago
- Intuitive, type-safe expression quotations for Lean 4.☆101Updated 2 weeks ago
- Schemes in Lean (v2)☆43Updated 5 years ago
- Markdown file of the list and explanations of all mathlib4 tactics☆53Updated 2 years ago
- tool for turning Lean proofs into Blender animations☆80Updated last month
- LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines …☆76Updated last week
- CAP project -- Categories, Algorithms, and Programming☆40Updated last month
- ☆101Updated this week