A formal Lean 4 verification of the Four Meta-Axioms (F-Theory) for universal optimization across mathematics, physics, and biology.
-
Updated
Sep 24, 2026 - Lean
#
meta-mathematics
Here is 1 public repository matching this topic...
Add this topic to your repo
To associate your repository with the meta-mathematics topic, visit your repo's landing page and select "manage topics."