Lean 4 formalisation of a deterministic reconstruction of finite-dimensional quantum mechanics: the Born rule as a Liouville volume ratio
Lean Updated 26 days ago 1 commits 4 stars
helix-ai|Mirror: zblore/csd-lean4 (⭐4)
26 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