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