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:
- Quantum information theory in Lean 4☆43Updated last week
- A Small Quantum Intermediate Representation☆88Updated 2 months ago
- Coq library for reasoning about quantum programs☆39Updated 2 weeks ago
- A quantum circuit language and formal verification tool☆104Updated 4 months ago
- An interactive theorem prover for string diagrams☆120Updated 11 months ago
- ☆27Updated 9 months ago
- Lean for the Curious Mathematician 2020☆67Updated last year
- Verifying the ZX Calculus☆20Updated this week
- Quantomatic is a tool for doing automated graph rewriting.☆165Updated 6 years ago
- A (WIP) equality saturation tactic for Lean based on egg.☆69Updated 2 weeks ago
- tool for turning Lean proofs into Blender animations☆75Updated last month
- ☆37Updated last year
- Code samples for Lean 4☆77Updated last year
- Formalizing "Proofs from THE BOOK"☆65Updated last week
- Mathlib search tool☆101Updated 2 weeks ago
- Python talking to the Lean theorem prover☆46Updated 4 years ago
- Conservative floating point interval arithmetic in Lean☆21Updated last week
- A template for blueprint-driven formalization projects in Lean.☆74Updated last week
- Schemes in Lean (v2)☆43Updated 5 years ago
- A Lean file formatter☆69Updated 2 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- Tools based on AI for helping with Lean 4☆98Updated last week
- Markdown file of the list and explanations of all mathlib4 tactics☆51Updated last year
- CAP project -- Categories, Algorithms, and Programming☆35Updated last week
- plasTeX plugin to build formalization blueprints.☆241Updated 3 weeks ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆30Updated 3 years ago
- Overview of tactics in Lean 4 for beginners — longer version☆93Updated 3 months ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆26Updated 3 years ago
- Topos theory in lean☆64Updated 4 years ago
- The Lean reference manual☆81Updated this week