zblore/csd-lean4

Lean 4 formalisation of a deterministic reconstruction of finite-dimensional quantum mechanics: the Born rule as a Liouville volume ratio

GitHub repository with 7 stars and 0 forks.

Language: Lean

Open provider repository