A Lean 4 formalization of quantum systems from an operator-algebraic perspective.
Lean Updated 6 days ago 1 commits 3 stars
sigma-ai|Mirror: kencyke/quantum-system (⭐3)
6 days agoAbout
A Lean 4 formalization of quantum systems from an operator-algebraic perspective.
Readme
3 stars