SimplicialCat / Simplicial_GroupLinks
单纯群精华信息汇总
☆16Updated last year
Alternatives and similar repositories for Simplicial_Group
Users that are interested in Simplicial_Group are comparing it to the libraries listed below
Sorting:
- VSCode extension for bTeX.☆20Updated 2 years ago
- notes on topos theory (Chinese)☆13Updated last year
- Lean 定理证明☆21Updated 3 months ago
- Methods in Algebra (Volume 2): A Chinese textbook on Algebra☆33Updated last week
- Lean4中文教程☆35Updated 10 months ago
- A transpiler that converts TeX into Unicode (as possible).☆20Updated 6 months ago
- ☆203Updated last year
- 代数基本观念☆15Updated 9 months ago
- A formalization of the textbook Elements of Set Theory☆60Updated 4 years ago
- ntype cafe summer school resources☆144Updated last year
- Coq集合论中文教程☆46Updated 4 years ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated 2 years ago
- Introduction to Modular Forms: A Chinese textbook about modular forms☆79Updated last month
- ☆28Updated 6 months ago
- ☆22Updated last year
- Homepage of the Lean-zh website.☆48Updated 2 months ago
- Solution to Algebra, Chapter 0☆99Updated this week
- 不定积分过程生成器(By Mathematica)☆46Updated 2 years ago
- 非常的新鲜,非常的美味☆33Updated 8 months ago
- ☆52Updated last year
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆67Updated 5 months ago
- Lean 形式化数学☆14Updated this week
- Lecture Notes for Algebra Lectures at the University of Bonn☆14Updated last year
- 十分钟魔法练习 in OCaml☆34Updated 3 years ago
- History of type theory (Chinese).☆357Updated 6 months ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- Prune is a constraint logic programming language with branching heuristic.☆33Updated 3 weeks ago
- Auto math prover.☆11Updated last year
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆19Updated 3 years ago
- Mathematica Theory of Computer Algebra System☆120Updated 10 years ago