@hoxide
Ma Jia-Jun 暂无简介
This is an open-source project dedicated to providing a foundation of game theory concepts in Lean 4.
Some proofs on Complex Lie Algebra
Some lean codes about the Weil representation.
Some codes about partitions and symbols
Coxeter in Lean
Coxeter theory in lean
Solutions to Math in Lean. https://leanprover-community.github.io/mathematics_in_lean/