OpenLogicProject / set-theory
Tim Button's open textbook on set theory
☆34Updated last year
Alternatives and similar repositories for set-theory
Users that are interested in set-theory are comparing it to the libraries listed below
Sorting:
- P.D. Magnus' forallx logic textbook☆67Updated last month
- Kan: A browser extension for reading nLab☆26Updated 6 years ago
- Textbook on metalogic based on the Open Logic Project☆41Updated last year
- Tag-based webview of LaTeX documents☆28Updated last year
- An experimental category theory library for Lean☆51Updated last year
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆33Updated 3 months ago
- ☆84Updated 3 weeks ago
- Source of metamath book☆48Updated last year
- Very controlled natural language tactics for Lean☆63Updated last year
- Open textbook on modal logic☆22Updated 3 years ago
- Categorical Logic Notes☆78Updated 3 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆57Updated 7 months ago
- This project converts structured Lean code into an interactive browser game.☆76Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆57Updated 2 weeks ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- Formalization of the existence of sphere eversions☆40Updated this week
- multilingual dictionary of mathematical terminology☆19Updated 6 months ago
- ☆34Updated 6 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- ☆29Updated 4 months ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆54Updated 10 years ago
- Lean for the Curious Mathematician 2020☆66Updated last year
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 4 years ago
- Algebra Number Theory book☆48Updated 3 years ago
- ☆23Updated 2 years ago
- UCalgary version of forallx, an introduction to formal logic☆106Updated 3 months ago
- My basic LaTeX macros and BibTeX file.☆13Updated 2 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆127Updated last year
- My mathematical Zettelkasten, created using forester.☆82Updated last week
- A semantic Extension of TeX/LaTeX☆52Updated this week