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

• 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