Watch Rexzong/Coxeter group Lean 4 forked from Ma Jia-Jun/Coxeter group Lean 4

Coxeter in Lean

Watch Rexzong/lean4-example

Watch Rexzong/qqpet

Watch Rexzong/LeetCode.jl

A community driven project to provide solutions for LeetCode problems in the Julia programming language.

Watch Rexzong/hexo_blog

temp repo for hexo blogs.