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