• 3
• 0
• 0

LiZhe/Weil Representation

• 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.

• 1
• 0
• 0

Ma Jia-Jun/Complex Lie algebra

Some proofs on Complex Lie Algebra

• 1
• 0
• 0

Ma Jia-Jun/Weil representations

Some lean codes about the Weil representation.

• 1
• 0
• 0

Ma Jia-Jun/Unipotent

Some codes about partitions and symbols

• 16
• 2
• 1

Ma Jia-Jun/Coxeter group Lean 4

Coxeter in Lean

• 2
• 0
• 0

Ma Jia-Jun/Coxeter in lean

Coxeter theory in lean

• 1
• 0
• 0

Ma Jia-Jun/mathinleansolutions

Solutions to Math in Lean. https://leanprover-community.github.io/mathematics_in_lean/