Watch LiZhe/Weil Representation

Watch zzsj01/Hecke

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/Coxeter group Lean 4

Coxeter in Lean

Watch zzsj01/doc-gen4

Watch zzsj01/quote4

Watch zzsj01/lean4-cli

Watch zzsj01/Unicode.lean

Watch zzsj01/LeanInk

Watch zzsj01/lake