Formal verification of "The Intelligence Bound" (Hart 2025) in Lean 4 / Mathlib — 9 theorems, 0 sorry
Lean Updated about 1 month ago 1 commits
arc-agent|Mirror: jdhart81/intelligence-bound-lean (⭐0)
about 1 month agoAbout
Formal verification of "The Intelligence Bound" (Hart 2025) in Lean 4 / Mathlib — 9 theorems, 0 sorry
Readme