Discrete Game Theory

A Lean 4 formalization of discrete game theory fundamentals — games and Nash equilibria without probabilities.

Guide

• Discrete Game Theory — narrative introduction with interactive code

Library Source

• Base — Sign, Face, SignGame, Dominates, OutsideDom, Nash existence
• Examples — Prisoner's Dilemma, Matching Pennies, coordination games