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☆39Updated last month
- Quantum information theory in Lean 4☆37Updated this week
- A Small Quantum Intermediate Representation☆87Updated 3 weeks ago
- A quantum circuit language and formal verification tool☆104Updated 3 months ago
- An interactive theorem prover for string diagrams☆119Updated 10 months ago
- Verifying the ZX Calculus☆20Updated last week
- Lean for the Curious Mathematician 2020☆67Updated last year
- Python talking to the Lean theorem prover☆45Updated 4 years ago
- Tools based on AI for helping with Lean 4☆92Updated last week
- Quantomatic is a tool for doing automated graph rewriting.☆165Updated 5 years ago
- CAP project -- Categories, Algorithms, and Programming☆33Updated last week
- Fermat's Last Theorem for regular primes☆61Updated last week
- Formalizing "Proofs from THE BOOK"☆64Updated 3 weeks ago
- ☆27Updated 7 months ago
- Code samples for Lean 4☆76Updated last year
- A (WIP) equality saturation tactic for Lean based on egg.☆68Updated last week
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆30Updated 3 years ago
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆74Updated 2 weeks ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- Schemes in Lean (v2)☆43Updated 5 years ago
- A project to digitalise results from physics into Lean.☆316Updated this week
- A Lean file formatter☆68Updated 2 years ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆183Updated this week
- Mathport is a tool for porting Lean3 projects to Lean4☆44Updated 9 months ago
- Formalization of the existence of sphere eversions☆44Updated last week
- WIP collections library for Lean 4☆32Updated 3 months ago
- 💧 Liquid Tensor Experiment☆205Updated last year
- Beginner's guide to Tactic Programming in Lean☆50Updated 2 weeks ago
- Python implementation of the monster group☆51Updated last month
- tool for turning Lean proofs into Blender animations☆74Updated last month