Coxeter in Lean
Coxeter in Lean
This is an open-source project dedicated to providing a foundation of game theory concepts in Lean 4.
Coxeter theory in lean
Solutions to Math in Lean. https://leanprover-community.github.io/mathematics_in_lean/
Some proofs on Complex Lie Algebra
最近一年贡献：57 次
最长连续贡献：11 日
最近连续贡献：3 日
贡献度的统计数据包括代码提交、创建任务 / Pull Request、合并 Pull Request，其中代码提交的次数需本地配置的 git 邮箱是 Gitee 帐号已确认绑定的才会被统计。