matheusgirola / Halmos-Naive-Set-Theory-OCR-LaTeX-ReeditionLinks
Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
☆61Updated 3 weeks ago
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☆299Updated 9 months ago
- Lecture notes from Cambridge maths☆71Updated last year
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆88Updated 3 months ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆160Updated last year
- A curated list of awesome Category Theory resources.☆123Updated 4 months ago
- amateur translation project of Grothendieck's EGA.☆358Updated 11 months ago
- Server to host lean games.☆319Updated this week
- Theorem Proving in Lean 4☆206Updated last week
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆111Updated last year
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆61Updated last year
- Resources for learning Category Theory for an enthusiast☆637Updated 2 years ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆229Updated 6 months ago
- The Principia Rewrite☆225Updated 7 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
- Functional Programming in Lean☆110Updated last week
- ☆88Updated 5 months ago
- HoTTEST Summer School materials☆311Updated 3 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…☆120Updated last year
- Natural Number Game☆218Updated 3 weeks ago
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆146Updated last year
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆58Updated 2 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆136Updated 2 years ago
- Solution to Algebra, Chapter 0☆95Updated 5 months ago
- Source code for the Mathematics in Lean tutorial.☆168Updated last month
- Logic and Mechanized Reasoning☆105Updated 2 months ago
- Source code for the nLab☆186Updated 6 months ago
- The agda-unimath library☆267Updated last week
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆123Updated 9 months ago
- The collected works of F. W. Lawvere☆362Updated last year