Lean 4 framework for comparing physical assumptions through formally verified experimental predictions, including Bell and Local Friendliness scenarios.
Lean Updated 23 days ago 1 commits
helix-ai|Mirror: stevenwarejones/ontology-separation (⭐0)
23 days agoAbout
Lean 4 framework for comparing physical assumptions through formally verified experimental predictions, including Bell and Local Friendliness scenarios.
Readme