Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
☆77Jan 4, 2026Updated 2 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:
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆13Jan 30, 2026Updated last month
- Awesome Mathematical Olympiads/Competitions/Contests☆21Jun 7, 2025Updated 9 months ago
- Tools for managing the TeX sources of the Stacks project☆17Jun 8, 2024Updated last year
- Simplify writing quantum assembly code☆13Nov 13, 2020Updated 5 years ago
- Collect User templates for everyone to use☆10Aug 18, 2025Updated 7 months ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- ☆27Sep 8, 2023Updated 2 years ago
- Recalling node properties from a knowledge graph☆20Sep 23, 2022Updated 3 years ago
- Our LoRa + Meshtastic how-to guide for beginners☆25Mar 28, 2025Updated 11 months ago
- ☆34Mar 15, 2026Updated last week
- The formal proof of the Odd Order Theorem☆37Mar 3, 2026Updated 2 weeks ago
- miniKanren for interactive tutorials on the web☆34Jun 3, 2025Updated 9 months ago
- CS410 "Advanced Functional Programming"☆30Updated this week
- being the materials for Summer 2013's course☆113Apr 25, 2023Updated 2 years ago
- A solutions manual for Topology by James Munkres☆16Aug 12, 2018Updated 7 years ago
- Desktop Sanskrit-English Dictionary☆12Jul 7, 2020Updated 5 years ago
- R-Ladies Philadelphia meetup presentations☆19Jul 20, 2023Updated 2 years ago
- Functions to scrape web pages from ebird.org☆10Jul 15, 2025Updated 8 months ago
- This is the repository for PLP, An introduction to mathematical proof, book☆25Jan 26, 2026Updated last month
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Mar 16, 2024Updated 2 years ago
- Contains Latex document: All solutions to M.A. Armstrong's "Basic Topology"☆13Jan 3, 2023Updated 3 years ago
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 2 months ago
- Lisp Linear Algebra☆18Mar 4, 2026Updated 2 weeks ago
- ☆35Jul 14, 2023Updated 2 years ago
- Putting eBird on the decentralized web☆10Jan 7, 2023Updated 3 years ago
- Basics of the dependently-typed functional language Agda ^_^☆43Jan 6, 2022Updated 4 years ago
- ☆11May 14, 2023Updated 2 years ago
- [WIP] Private exitnode to open Onion Services via Tailscale IPN☆13May 27, 2023Updated 2 years ago
- A ppx that takes in css strings and produces a module for accessing the unique names defined within.☆16Jan 15, 2026Updated 2 months ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- TypeScript implementations and exercises from Chris Okasaki's book, Purely Functional Data Structures☆10Mar 29, 2019Updated 6 years ago
- Spawn multiple concurrent unix terminals in Discord☆11Jun 1, 2021Updated 4 years ago
- Todo list management in bash☆16Jan 9, 2013Updated 13 years ago
- ☆16Nov 12, 2025Updated 4 months ago
- A utility micro-crate for using `Into` more ergonomically.☆12May 17, 2021Updated 4 years ago
- ☆23Oct 5, 2020Updated 5 years ago
- Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"☆13Feb 27, 2018Updated 8 years ago
- 🦅 🎲 Roc library for number generation (and more!)☆10Feb 13, 2025Updated last year
- Client library for Maelstrom and solutions to the Fly.io distributed systems challenges - gossip glomers☆14Feb 26, 2023Updated 3 years ago