Repository navigation

Enrich(med,lean): GameTheory-02b-Lean-Definitions 529→1325 c/cell - #14106

Closed

jsboige wants to merge 5 commits into

mainfrom

feature/c118-gametheory-02b

Commits on Sep 3, 2026

Enrich(med,lean): GameTheory-02b-Lean-Definitions 529→1325 c/cell
jsboige
committed
599c4f2
fix(enrich): restore closing Navigation footer (3 links) lost in Resume rewrite
jsboige
committed
e77e0f2
Merge branch 'main' into feature/c118-gametheory-02b
myia-ai-01
authored
bc8894c
Fix(enrich,#14106): convert code[N] anchors to code-cell ordinals + repair fabricated theorem name

jsboige
and
claude
committed
cc36ca5
Merge branch 'main' into feature/c118-gametheory-02b
jsboige
authored
9cc01c1