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