hooyuser / Solution-to-Algebra-Chapter-0
Solution to Algebra, Chapter 0
☆86Updated 6 months ago
Related projects: ⓘ
- The solution to Algebra : Chapter 0 by Paolo Aluffi.☆25Updated 3 months ago
- The user home repository for the Mathematics in Lean tutorial.☆240Updated last week
- VSCode extension for bTeX.☆20Updated 9 months ago
- amateur translation project of Grothendieck's EGA.☆322Updated 4 months ago
- ☆44Updated 7 months ago
- ntype cafe summer school resources☆136Updated 3 months ago
- A formalization of the textbook Elements of Set Theory☆59Updated 2 years ago
- Lean 函数式编程☆25Updated last month
- This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …☆376Updated this week
- ☆211Updated 3 weeks ago
- Coq集合论中文教程☆41Updated 2 years ago
- A transpiler that converts TeX into Unicode (as possible).☆17Updated last month
- The agda-unimath library☆218Updated last week
- Solutions of exercises in Algebraic Geometry☆34Updated 9 years ago
- Software Foundations☆108Updated 4 months ago
- Lecture notes from Cambridge maths☆61Updated 7 months ago
- Source code for the Mathematics in Lean tutorial.☆79Updated this week
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆19Updated 6 months ago
- Multi platform setup for Coq, Coq libraries and tools☆188Updated this week
- Theorem Proving in Lean 4☆157Updated last month
- A collection of tools for writing technical documents that mix Coq code and prose.☆229Updated this week
- Source code for the nLab☆137Updated 2 weeks ago
- Lean4中文教程☆28Updated 11 months ago
- The "batteries included" extended library for the Lean programming language and theorem prover☆234Updated this week
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆124Updated 5 months ago
- HoTTEST Summer School materials☆283Updated 11 months ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆103Updated 2 weeks ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆106Updated last month
- Effective Algebraic Topology in Haskell☆84Updated this week
- ☆19Updated last month