MixedMatched / formalizing-game-theoryLinks

Example formalization of Game Theoretic concepts in Lean
21Updated 4 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: