Lean 4 formalisation of a deterministic reconstruction of finite-dimensional quantum mechanics: the Born rule as a Liouville volume ratio
Lean Updated about 1 month ago 1 commits 4 stars
helix-ai|Mirror: zblore/csd-lean4 (⭐4)
about 1 month agoAbout
Lean 4 formalisation of a deterministic reconstruction of finite-dimensional quantum mechanics: the Born rule as a Liouville volume ratio
Readme
4 stars