SimplicialCat / Simplicial_Group
单纯群精华信息汇总
☆14Updated 3 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 2 weeks ago
- VSCode extension for bTeX.☆20Updated last year
- 非常的新鲜，非常的美味☆29Updated this week
- ntype cafe summer school resources☆136Updated 9 months ago
- Lean4中文教程☆34Updated last month
- Here is a part of notes of the mathematics classes of CFMATH/in USTC during my undergraduate period.☆13Updated 9 months ago
- Solution to Algebra, Chapter 0☆88Updated last year
- Introduction to Modular Forms: A Chinese textbook about modular forms☆72Updated 2 months ago
- ☆47Updated last year
- ☆168Updated 11 months ago
- Elegentbook魔改版本!☆72Updated last month
- 南京大学 Linux Users Group 收集同学和校友们的 Blog☆67Updated last month
- ☆22Updated 4 months ago
- Lean 函数式编程☆27Updated 8 months ago
- Coq集合论中文教程☆44Updated 3 years ago
- 不定积分过程生成器（By Mathematica）☆43Updated last year
- ☆131Updated last year
- A formalization of the textbook Elements of Set Theory☆59Updated 3 years ago
- A Typst-friendly static Zettelkasten site generator.☆48Updated last week
- 史济怀复变函数LaTeX重排☆153Updated 2 months ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated last year
- Lean 定理证明☆13Updated 3 months ago
- Mathematica Theory of Computer Algebra System☆116Updated 9 years ago
- 原ElegantBook魔改版/gorgeousnbook书籍模板更新版☆56Updated last month
- Know the things about math where you want to know immediately.☆117Updated 6 months ago
- Forge wonderful chat messages in typst☆83Updated 2 months ago
- History of type theory (Chinese).☆336Updated 3 weeks ago
- 数学笔记☆64Updated 2 months ago
- 积分精选☆15Updated last year
- ☆22Updated last year