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