SimplicialCat / Simplicial_Group
单纯群精华信息汇总
☆13Updated 2 months ago
Alternatives and similar repositories for Simplicial_Group:
Users that are interested in Simplicial_Group are comparing it to the libraries listed below
- 代数基本观念☆14Updated 5 months ago
- Solution to Algebra, Chapter 0☆88Updated 11 months ago
- Introduction to Modular Forms: A Chinese textbook about modular forms☆71Updated 3 weeks ago
- VSCode extension for bTeX.☆20Updated last year
- Lean4中文教程☆34Updated 2 weeks ago
- ☆161Updated 10 months ago
- The solution to Algebra : Chapter 0 by Paolo Aluffi.☆27Updated 8 months ago
- Lean 定理证明☆11Updated 2 months ago
- Elegentbook魔改版本!☆71Updated last week
- History of type theory (Chinese).☆332Updated last month
- ☆21Updated 3 months ago
- ☆46Updated last year
- ntype cafe summer school resources☆137Updated 8 months ago
- 原ElegantBook魔改版/gorgeousnbook书籍模板更新版☆48Updated last week
- Here is a part of notes of the mathematics classes of CFMATH/in USTC during my undergraduate period.☆13Updated 7 months ago
- Typst中文教程☆125Updated 3 weeks ago
- 不定积分过程生成器（By Mathematica）☆43Updated last year
- Know the things about math where you want to know immediately.☆115Updated 4 months ago
- A template for creating beamer in Typst☆38Updated last year
- Forge wonderful chat messages in typst☆83Updated last month
- 常微分方程（丁同仁、李承治著）习题解☆21Updated 11 months ago
- 非常的新鲜，非常的美味☆27Updated last year
- A transpiler that converts TeX into Unicode (as possible).☆19Updated 2 months ago
- Awesome Typst 列表中文版（该项目已与 qjcg/awesome-typst 合并）☆72Updated last year
- 南京大学学位论文 Typst 模板 modern-nju-thesis☆162Updated last month
- ☆22Updated last year
- A Beamer Theme for Tsinghua University (THU).☆76Updated last year
- 失败总是贯穿人生的始终，这就是人生。☆21Updated 6 months ago
- Lean 函数式编程☆26Updated 6 months ago