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