subfish-zhou / theorem_proving_in_lean4_zh_CN
Lean4中文教程
☆28Updated 11 months ago
Related projects: ⓘ
- ☆19Updated last month
- Lean 函数式编程☆25Updated last month
- Coq集合论中文教程☆41Updated 2 years ago
- 非常的新鲜,非常的美味☆22Updated last year
- Lean 定理证明☆11Updated last week
- Formalizing Euclidean Geometry in Lean☆28Updated 5 months ago
- VSCode extension for bTeX.☆20Updated 9 months ago
- ☆44Updated 7 months ago
- Introduction to Modular Forms: A Chinese textbook about modular forms☆61Updated last month
- A transpiler that converts TeX into Unicode (as possible).☆17Updated last month
- A formalization of the textbook Elements of Set Theory☆59Updated 2 years ago
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆47Updated last month
- ☆22Updated 7 months ago
- ntype cafe summer school resources☆136Updated 3 months ago
- Coq集合模型论☆10Updated 2 years ago
- Verified efficient algorithms in Lean4.☆18Updated 2 weeks ago
- Solutions of exercises in Algebraic Geometry☆34Updated 9 years ago
- 十分钟魔法练习 in OCaml☆32Updated 2 years ago
- ☆146Updated 5 months ago
- 首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, L…☆17Updated 5 years ago
- Solution to Algebra, Chapter 0☆86Updated 6 months ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆17Updated last month
- Lindemann–Weierstrass Theorem☆10Updated 4 months ago
- A static analysis tool for Lean 4.☆38Updated this week
- The root repository for the SpectralSequences project.☆25Updated 3 weeks ago
- Yanqi Lake Lectures on Algebra, Part III☆44Updated last year
- Some experimental Typst files.☆14Updated last year
- Tools based on AI for helping with Lean 4☆62Updated this week
- ☆15Updated 4 years ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆103Updated 2 weeks ago