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:
- A Small Quantum Intermediate Representation☆91Updated 5 months ago
- Coq library for reasoning about quantum programs☆40Updated 3 months ago
- A quantum circuit language and formal verification tool☆106Updated 7 months ago
- Quantum information theory in Lean 4☆96Updated 2 weeks ago
- Verifying the ZX Calculus☆20Updated 2 months ago
- Formalizing "Proofs from THE BOOK"☆76Updated last week
- An interactive theorem prover for string diagrams☆124Updated last year
- CAP project -- Categories, Algorithms, and Programming☆38Updated last week
- ☆28Updated last year
- Tools based on AI for helping with Lean 4☆111Updated last week
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆85Updated last week
- Code samples for Lean 4☆76Updated 2 years ago
- A (WIP) equality saturation tactic for Lean based on egg.☆76Updated 3 months ago
- Lean for the Curious Mathematician 2020☆68Updated 2 years ago
- Overview of tactics in Lean 4 for beginners — longer version☆101Updated 6 months ago
- Formalization of the existence of sphere eversions☆46Updated 3 weeks ago
- tool for turning Lean proofs into Blender animations☆79Updated last week
- Lennard Jones in Lean☆20Updated 5 months ago
- A formalized proof of Carleson's theorem in Lean☆81Updated last week
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Updated 7 years ago
- ☆37Updated last year
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- Formalizing convex polyhedra in Coq☆24Updated last year
- Python talking to the Lean theorem prover☆46Updated 4 years ago
- Schemes in Lean (v2)☆44Updated 5 years ago
- Conservative floating point interval arithmetic in Lean☆24Updated last week
- A Lean file formatter☆70Updated 2 years ago
- Intuitive, type-safe expression quotations for Lean 4.☆101Updated 3 weeks ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆122Updated last year
- Implementation of higher-order logic in Python☆66Updated 2 years ago