OpenLogicProject / set-theory
Tim Button's open textbook on set theory
☆30Updated 11 months ago
Related projects: ⓘ
- P.D. Magnus' forallx logic textbook☆59Updated 9 months ago
- Commutative diagrams with TikZ☆45Updated last year
- Tag-based webview of LaTeX documents☆28Updated 7 months ago
- Kan: A browser extension for reading nLab☆25Updated 5 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆27Updated 11 years ago
- multilingual dictionary of mathematical terminology☆19Updated last month
- Source of metamath book☆45Updated 8 months ago
- A community database of topological counterexamples☆72Updated this week
- A semantic Extension of TeX/LaTeX☆49Updated last week
- CoDi: Commutative Diagrams for TeX☆30Updated 4 months ago
- Textbook on metalogic based on the Open Logic Project☆36Updated 9 months ago
- My mathematical Zettelkasten, created using forester.☆76Updated 2 weeks ago
- Notes on how to use the internal language of toposes in algebraic geometry☆53Updated last month
- Lean for the Curious Mathematician 2020☆63Updated 10 months ago
- ☆31Updated 2 weeks ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆21Updated 2 years ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆55Updated 6 months ago
- Very controlled natural language tactics for Lean☆60Updated 7 months ago
- Logic and Mechanized Reasoning☆80Updated 2 months ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆30Updated 4 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 4 years ago
- Mirror of ocaml-forester☆36Updated 3 months ago
- My basic LaTeX macros and BibTeX file.☆12Updated last year
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆49Updated 2 months ago
- Development tools for https://github.com/leanprover-community/mathlib☆33Updated last year
- UCalgary version of forallx, an introduction to formal logic☆90Updated 3 weeks ago
- Andrej Bauer's blog "Mathematics and Computation"☆47Updated 7 months ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆36Updated 2 years ago
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 3 years ago
- "A First Course in Linear Algebra" open source textbook☆64Updated 2 years ago