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