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