Hobby project to implement simulated quantum computing and targeting quantum architectures using Lean.
Using nix (with flakes enabled) and lake nix develop --command lake build or just lake build if you already have elan.
- A simple quantum simulator presented here.
- Implement some basic quantum algorithms.
- Target quantum instruction set like OpenQASM.
- Prove some quantum theorems
Contributrions are welcome. Just try to fit inside the defined scope of the project. More details will be expanded on later.