duckki / lean-quantumLinks
Formalized quantum computing in Lean theorem prover
☆31Updated 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 2 weeks ago
- A Small Quantum Intermediate Representation☆88Updated 2 months ago
- A quantum circuit language and formal verification tool☆105Updated 5 months ago
- Quantum information theory in Lean 4☆57Updated last week
- Verifying the ZX Calculus☆20Updated this week
- An interactive theorem prover for string diagrams☆121Updated last year
- Quantomatic is a tool for doing automated graph rewriting.☆165Updated 6 years ago
- ☆27Updated 9 months ago
- CAP project -- Categories, Algorithms, and Programming☆36Updated last month
- Formalizing "Proofs from THE BOOK"☆66Updated 3 weeks ago
- ☆37Updated last year
- Tools based on AI for helping with Lean 4☆102Updated last week
- Lean for the Curious Mathematician 2020☆67Updated 2 years ago
- Code samples for Lean 4☆77Updated 2 years ago
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆81Updated this week
- ☆51Updated 3 years ago
- A (WIP) equality saturation tactic for Lean based on egg.☆71Updated 2 weeks ago
- Conservative floating point interval arithmetic in Lean☆23Updated last month
- A formalized proof of Carleson's theorem in Lean☆74Updated this week
- A verified tensor library in Lean☆30Updated 2 weeks ago
- Schemes in Lean (v2)☆44Updated 5 years ago
- The Lean reference manual☆84Updated this week
- Beginner's guide to Tactic Programming in Lean☆63Updated last month
- Topos theory in lean☆64Updated 4 years ago
- Formalizing convex polyhedra in Coq☆24Updated last year
- A package to typeset ZX calculus directly in LaTeX.☆17Updated last year
- Fermat's Last Theorem for regular primes☆61Updated last week
- ☆93Updated last year
- A Lean file formatter☆70Updated 2 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆30Updated 3 years ago