MixedMatched / formalizing-game-theoryLinks

Example formalization of Game Theoretic concepts in Lean
20Updated 3 months ago

Alternatives and similar repositories for formalizing-game-theory

Users that are interested in formalizing-game-theory are comparing it to the libraries listed below

Sorting: