ryankeleti / ega
amateur translation project of Grothendieck's EGA.
☆343Updated 6 months ago
Alternatives and similar repositories for ega:
Users that are interested in ega are comparing it to the libraries listed below
- Repository for the Stacks Project☆898Updated 6 months ago
- Source code for the nLab☆171Updated 3 weeks ago
- LaTeX version of Grothendieck's Pursuing Stacks☆48Updated 3 years ago
- This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …☆413Updated last week
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated last year
- 💧 Liquid Tensor Experiment☆190Updated last year
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆362Updated this week
- The collected works of F. W. Lawvere☆346Updated 7 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆238Updated 4 months ago
- The user home repository for the Mathematics in Lean tutorial.☆325Updated 2 weeks ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆410Updated this week
- Perfectoid spaces in the Lean formal theorem prover.☆120Updated 9 months ago
- Lecture notes from Cambridge maths☆66Updated last year
- The agda-unimath library☆247Updated last week
- Lean Library currently studying for a degree at Imperial College☆225Updated last month
- plasTeX plugin to build formalization blueprints.☆198Updated last month
- The Lean version manager☆360Updated this week
- Solution to Algebra, Chapter 0☆88Updated this week
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆97Updated 2 weeks ago
- Mathematical Components☆612Updated this week
- Digital images used as illustrations in the Open Logic Project☆6Updated 8 years ago
- This coq library aims to formalize a substantial body of mathematics using the univalent point of view.☆976Updated this week
- Scientific computing in Lean 4☆387Updated this week
- ☆162Updated 5 years ago
- L-Functions and Modular Forms Database☆264Updated last week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆151Updated last week
- ☆240Updated last month
- An introductory course to Homotopy Type Theory☆365Updated 4 years ago
- Server to host lean games.☆252Updated last week