Skip to content

Fix(gametheory): contre-audit GT-04c NashExistence — attributions Lean inexactes - #23958

Merged
myia-ai-01 merged 4 commits into
mainfrom
fix/gt04c-counteraudit
Nov 1, 2026
Merged

Fix(gametheory): contre-audit GT-04c NashExistence — attributions Lean inexactes#23958
myia-ai-01 merged 4 commits into
mainfrom
fix/gt04c-counteraudit

Merge branch 'main' into fix/gt04c-counteraudit

a8cfd3d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar