SimplicialCat / toposLinks
notes on topos theory (Chinese)
☆13Updated 10 months ago
Alternatives and similar repositories for topos
Users that are interested in topos are comparing it to the libraries listed below
Sorting:
- A transpiler that converts TeX into Unicode (as possible).☆20Updated 3 months ago
- 代数基本观念☆15Updated 6 months ago
- ntype cafe summer school resources☆142Updated last year
- Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017☆17Updated 3 years ago
- Lean 函数式编程☆37Updated last week
- History of type theory (Chinese).☆352Updated 4 months ago
- Solution to Algebra, Chapter 0☆95Updated 5 months ago
- ☆50Updated last year
- VSCode extension for bTeX.☆20Updated last year
- A formalization of the textbook Elements of Set Theory☆59Updated 4 years ago
- The solution to Algebra : Chapter 0 by Paolo Aluffi.☆33Updated last year
- ☆258Updated 7 months ago
- A static analysis tool for Lean 4.☆96Updated 2 months ago
- A proof assistant and a dependently-typed language☆326Updated this week
- ☆27Updated 4 months ago
- ☆10Updated 4 months ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated last year
- ☆22Updated last year
- Markdown file of the list and explanations of all mathlib4 tactics☆51Updated last year
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆65Updated 2 months ago
- This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.☆429Updated last week
- ☆195Updated last year
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆24Updated 2 weeks ago
- Coq集合论中文教程☆45Updated 3 years ago
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆65Updated this week
- A modern functional programming language with effect system.☆19Updated last year
- 非常的新鲜,非常的美味☆32Updated 6 months ago
- Homepage of the Lean-zh website.☆43Updated last week
- The "batteries included" extended library for the Lean programming language and theorem prover☆329Updated this week
- 《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版☆213Updated this week