PrototypeCommon
Timeroot/Lean-QuantumInfo
Quantum information theory in Lean 4
- Owner
- Timeroot (personal account)
- Stars
- Stars: 146
- Forks
- Forks: 34
- Language
- Lean
- License
- MIT
- Created
- 2024
- Topics
- leanlean4quantum-computing
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- flypitch/flypitchStars: 150LeanPrototype
- argumentcomputer/yatimaStars: 148LeanPrototype
- kmill/lean4-raytracerStars: 147LeanPrototype
- loganrjmurphy/LeanEuclidStars: 145LeanPrototype
- LeanPool/lean-poolStars: 144LeanPrototype
- ndrwnaguib/principiaStars: 143LeanPrototype