https://github.com/anderssorby/quantum.lean

Quantum computing with Lean
https://github.com/anderssorby/quantum.lean

lean lean4 quantum-computing

Last synced: 13 days ago
JSON representation

Quantum computing with Lean

• Host: GitHub
• URL: https://github.com/anderssorby/quantum.lean
• Owner: Anderssorby
• Created: 2023-03-05T21:47:53.000Z (almost 2 years ago)
• Default Branch: main
• Last Pushed: 2023-03-05T21:48:33.000Z (almost 2 years ago)
• Last Synced: 2024-12-21T14:05:09.334Z (18 days ago)
• Topics: lean, lean4, quantum-computing
• Language: Lean
• Homepage:
• Size: 3.91 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Quantum.lean for Quantum computation

Hobby project to implement simulated quantum computing and targeting quantum architectures using Lean.

# Build

Using nix (with flakes enabled) and lake `nix develop --command lake build` or just `lake build` if you already have `elan`.

# Goals & ambitions

- [ ] A simple quantum simulator [presented here](https://doi.org/10.1140/epjqt10).

- [ ] Implement some basic quantum algorithms.

- [ ] Target quantum instruction set like OpenQASM.

- [ ] Prove some quantum theorems

# Contributions

Contributrions are welcome. Just try to fit inside the defined scope of the project. More details will be expanded on later.