• 8
• 0
• 1

Ma Jia-Jun/zerosum

This is an open-source project dedicated to providing a foundation of game theory concepts in Lean 4.