Skip to content

feat(gametheory,#14773): Lean v4.33.0 + Mathlib db584cd6 — game_theory_lean, asymmetric_information_lean, repeated_games_lean - #17613

Merged
myia-ai-01 merged 1 commit into
mainfrom
feature/14773-gametheory-433
Sep 25, 2026
Merged

feat(gametheory,#14773): Lean v4.33.0 + Mathlib db584cd6 — game_theory_lean, asymmetric_information_lean, repeated_games_lean#17613
myia-ai-01 merged 1 commit into
mainfrom
feature/14773-gametheory-433

feat(gametheory,#14773): migrate GameTheory lakes to Lean v4.33.0 / M…

9375195
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar