matheusgirola / Halmos-Naive-Set-Theory-OCR-LaTeX-ReeditionLinks
Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
☆59Updated this week
Alternatives and similar repositories for Halmos-Naive-Set-Theory-OCR-LaTeX-Reedition
Users that are interested in Halmos-Naive-Set-Theory-OCR-LaTeX-Reedition are comparing it to the libraries listed below
Sorting:
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆275Updated 8 months ago
- Lecture notes from Cambridge maths☆70Updated last year
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆88Updated 2 months ago
- Basic Analysis, undergraduate real analysis textbook☆78Updated this week
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆161Updated last year
- Solution to Algebra, Chapter 0☆93Updated 4 months ago
- amateur translation project of Grothendieck's EGA.☆354Updated 9 months ago
- A curated list of awesome Category Theory resources.☆120Updated 3 months ago
- Solutions to OCaml Programming☆86Updated this week
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆222Updated 4 months ago
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆74Updated last week
- Source code for the nLab☆180Updated 4 months ago
- 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
- The solution to Algebra : Chapter 0 by Paolo Aluffi.☆31Updated last year
- UCalgary version of forallx, an introduction to formal logic☆108Updated last month
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆91Updated 9 months ago
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆308Updated last year
- Natural Number Game☆199Updated this week
- Server to host lean games.☆301Updated this week
- Theorem Proving in Lean 4☆201Updated last week
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆145Updated last year
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆120Updated 7 months ago
- ☆86Updated 3 months ago
- Lean theorem proving interface which feels like pen-and-paper proofs.☆434Updated 3 weeks ago
- Tim Button's open textbook on set theory☆39Updated last month
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆117Updated last year
- Software Foundations☆137Updated last year
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆62Updated 11 months ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆110Updated last year
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆75Updated last year