Alternatives and similar repositories for Solution-to-Algebra-Chapter-0:

Users that are interested in Solution-to-Algebra-Chapter-0 are comparing it to the libraries listed below

• mactonya / algebra-chapter-0-solutions
  The solution to Algebra : Chapter 0 by Paolo Aluffi.
  ☆27Updated 8 months ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated 11 months ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆78Updated this week
• Trebor-Huang / vscode-btex
  VSCode extension for bTeX.
  ☆20Updated last year
• kokic / UniTeX
  A transpiler that converts TeX into Unicode (as possible).
  ☆19Updated 2 months ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆65Updated last year
• choukh / Set-Theory
  A formalization of the textbook Elements of Set Theory
  ☆59Updated 3 years ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆337Updated 4 months ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆113Updated this week
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆46Updated 3 years ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆298Updated this week
• banana-space / btex
  ☆46Updated 11 months ago
• UniMath / SymmetryBook
  This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …
  ☆411Updated 3 weeks ago
• leanprover-community / tutorials4
  Lean 4 tutorial files
  ☆34Updated 9 months ago
• Trebor-Huang / HomotopyHistory
  ☆22Updated last year
• HEPLean / HepLean
  A project to digitalise results from high energy physics into Lean.
  ☆108Updated this week
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆60Updated 6 months ago
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆60Updated this week
• ilhikki / hott-book-zh
  《The HoTT Book》 中文翻译
  ☆6Updated last month
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆89Updated 5 months ago
• jjdishere / EG
  Formalizing Euclidean Geometry in Lean
  ☆29Updated 10 months ago
• leanprover-community / ProofWidgets4
  Helper toolkit for creating your own Lean 4 UserWidgets
  ☆125Updated this week
• leanprover-community / lean4-metaprogramming-book
  ☆236Updated this week
• digama0 / lean-type-theory
  LaTeX code for a paper on lean's type theory
  ☆129Updated 2 years ago
• Lean-zh / fp-lean-zh
  Lean 函数式编程
  ☆26Updated 6 months ago
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆137Updated 7 months ago
• felixwellen / synthetic-zariski
  Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
  ☆55Updated this week
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆296Updated last year
• UniMath / agda-unimath
  The agda-unimath library
  ☆236Updated this week