/formalizing-game-theory

Example formalization of Game Theoretic concepts in Lean

Primary LanguageLean

Stargazers