matheusgirola / Halmos-Naive-Set-Theory-OCR-LaTeX-ReeditionLinks
Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
☆59Updated last 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☆286Updated 8 months ago
- 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☆122Updated 8 months ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆161Updated last year
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- Basic Analysis, undergraduate real analysis textbook☆80Updated 3 weeks ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆225Updated 5 months ago
- Solutions to OCaml Programming☆88Updated 3 weeks ago
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆88Updated 3 months ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆92Updated 9 months ago
- A curated list of awesome Category Theory resources.☆122Updated 4 months ago
- Lecture notes from Cambridge maths☆70Updated last year
- The Principia Rewrite☆224Updated 7 months ago
- Solution to Algebra, Chapter 0☆94Updated 4 months ago
- Resources for learning Category Theory for an enthusiast☆635Updated 2 years ago
- Natural Number Game☆208Updated this week
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆111Updated last year
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆136Updated 2 years ago
- A formal logic framework that runs in the browser☆299Updated 8 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
- UCalgary version of forallx, an introduction to formal logic☆111Updated 2 months ago
- ☆85Updated 3 years ago
- Software Foundations☆141Updated last year
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆299Updated last year
- deployment for smlhelp page☆41Updated 2 months ago
- Source code for the nLab☆183Updated 5 months ago
- Functional Programming in Lean☆103Updated 3 weeks 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
- ☆88Updated 4 months ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆47Updated 3 years ago