stacks / stacks-projectLinks
Repository for the Stacks Project
☆913Updated 8 months ago
Alternatives and similar repositories for stacks-project
Users that are interested in stacks-project are comparing it to the libraries listed below
Sorting:
- amateur translation project of Grothendieck's EGA.☆347Updated 7 months ago
- A Coq library for Homotopy Type Theory☆1,316Updated 3 weeks 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.☆417Updated 2 weeks ago
- LaTeX version of Grothendieck's Pursuing Stacks☆49Updated 3 years ago
- This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.☆984Updated 3 weeks ago
- A textbook on informal homotopy type theory☆2,080Updated 2 weeks ago
- L-Functions and Modular Forms Database☆271Updated this week
- The collected works of F. W. Lawvere☆352Updated 8 months ago
- papers of Per Martin Löf☆782Updated last year
- Mathematical Components☆626Updated this week
- An open-source, customizable intermediate logic textbook☆1,157Updated 2 months ago
- Source code for the nLab☆175Updated 2 months ago
- Development of the univalent foundations of mathematics in Coq☆18Updated 13 years ago
- Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra☆865Updated last week
- 💧 Liquid Tensor Experiment☆196Updated last year
- Lean 3 Theorem Prover (community fork)☆434Updated last year
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆455Updated this week
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆246Updated 10 years ago
- Digital images used as illustrations in the Open Logic Project☆6Updated 8 years ago
- A project to map out the relations between different equational theories of Magmas.☆356Updated this week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆254Updated 5 months ago
- The user home repository for the Mathematics in Lean tutorial.☆354Updated 3 weeks ago
- The HOL Light theorem prover☆457Updated this week
- Lean 3's obsolete mathematical components library: please use mathlib4☆1,667Updated 11 months ago
- The Lean version manager☆381Updated last week
- A Learning Environment for Theorem Proving with the Coq proof assistant☆403Updated last year
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆370Updated this week
- An axiom-free formalization of category theory in Coq for personal study and practical work☆774Updated last week
- Metamath source file for logic and set theory☆282Updated this week
- Methods in Algebra (Volume 1): A Chinese textbook on Algebra☆436Updated 3 weeks ago