matheusgirola / Halmos-Naive-Set-Theory-OCR-LaTeX-ReeditionLinks
Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
☆56Updated 6 months 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:
- Tim Button's open textbook on set theory☆38Updated this week
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆86Updated last month
- Lecture notes from Cambridge maths☆68Updated last year
- Solution to Algebra, Chapter 0☆92Updated 2 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆262Updated 6 months ago
- A curated list of awesome Category Theory resources.☆115Updated 2 months ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- Source code for the Mathematics in Lean tutorial.☆153Updated last week
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆108Updated last year
- Basic Analysis, undergraduate real analysis textbook☆76Updated last month
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆91Updated 7 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
- Theorem Proving in Lean 4☆191Updated this week
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆161Updated last year
- ☆86Updated 2 months ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆128Updated last year
- Lean theorem proving interface which feels like pen-and-paper proofs.☆423Updated last week
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆62Updated 10 months ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆47Updated 3 years ago
- An interactive theorem prover for string diagrams☆118Updated 8 months ago
- Source files for https://web.evanchen.cc☆48Updated 2 weeks ago
- Server to host lean games.☆278Updated this week
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆62Updated 3 weeks ago
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆142Updated last year
- Master Thesis☆199Updated 3 years ago
- ☆91Updated last year
- Logic and Mechanized Reasoning☆104Updated 4 months ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆55Updated 2 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 6 months ago