Watch mirrors_leanprover-community/mathlib

Lean 3's obsolete mathematical components library: please use mathlib4

Watch LiZhe/Weil Representation

Watch Ma Jia-Jun/zerosum

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

Watch Ma Jia-Jun/Complex Lie algebra

Some proofs on Complex Lie Algebra

Watch Ma Jia-Jun/Weil representations

Some lean codes about the Weil representation.

Watch Ma Jia-Jun/Unipotent

Some codes about partitions and symbols

Watch Ma Jia-Jun/Coxeter group Lean 4

Coxeter in Lean

Watch Ma Jia-Jun/Coxeter in lean

Coxeter theory in lean

Watch Ma Jia-Jun/mathinleansolutions

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