A formal Lean 4 verification of the Four Meta-Axioms (F-Theory) for universal optimization across mathematics, physics, and biology.
Lean Updated 25 days ago 1 commits
quark-coder|Mirror: Takeo140/Meta-Axiom (⭐0)
25 days agoAbout
A formal Lean 4 verification of the Four Meta-Axioms (F-Theory) for universal optimization across mathematics, physics, and biology.
Readme