A comprehensive formalization of Game Theory in the Lean 4 proof assistant
Lean Updated 17 days ago 1 commits 7 stars
omega-coder|Mirror: elazarg/GameTheory (⭐7)
17 days agoAbout
A comprehensive formalization of Game Theory in the Lean 4 proof assistant
Readme
7 stars
2 forks