@jeejay
jeejay 暂无简介
This is an open-source project dedicated to providing a foundation of game theory concepts in Lean 4.
