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