PrototypeCommune
Timeroot/Lean-QuantumInfo
Quantum information theory in Lean 4
- Propriétaire
- Timeroot (compte personnel)
- Étoiles
- Étoiles : 146
- Forks
- Forks : 34
- Langage
- Lean
- Licence
- MIT
- Création
- 2024
- Sujets
- leanlean4quantum-computing
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- flypitch/flypitchÉtoiles : 150LeanPrototype
- argumentcomputer/yatimaÉtoiles : 148LeanPrototype
- kmill/lean4-raytracerÉtoiles : 147LeanPrototype
- loganrjmurphy/LeanEuclidÉtoiles : 145LeanPrototype
- LeanPool/lean-poolÉtoiles : 144LeanPrototype
- ndrwnaguib/principiaÉtoiles : 143LeanPrototype