• 3
• 0
• 0

LiZhe/Weil Representation

• 1
• 0
• 0

zzsj01/Hecke

• 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

• 1
• 0
• 0

zzsj01/doc-gen4

• 1
• 0
• 0

zzsj01/quote4

• 1
• 0
• 0

zzsj01/lean4-cli

• 1
• 0
• 0

zzsj01/Unicode.lean

• 1
• 0
• 0

zzsj01/LeanInk

• 1
• 0
• 0

zzsj01/lake

• 1
• 0
• 0

zzsj01/std4

• 1
• 0
• 0

zzsj01/mathlib4

the math library of Lean4

• 2
• 0
• 0

Ma Jia-Jun/Coxeter in lean

Coxeter theory in lean

• 1
• 0
• 0

zzsj01/One

My First website