Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
☆87Jan 4, 2026Updated 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆13Updated this week
- Awesome Mathematical Olympiads/Competitions/Contests☆26Jun 7, 2025Updated last year
- A curated list of awesome TikZ documentations, libraries and resources☆13Oct 5, 2024Updated last year
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- ☆27Sep 8, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Richard Hammack Web Page☆18Jun 12, 2026Updated 3 weeks ago
- C implementation of the BlaBla20 cipher☆10Jan 1, 2026Updated 6 months ago
- The formal proof of the Odd Order Theorem☆37Apr 17, 2026Updated 2 months ago
- miniKanren for interactive tutorials on the web☆34Jun 3, 2025Updated last year
- This is the CoCalc Electron desktop application.☆19Sep 30, 2022Updated 3 years ago
- being the materials for Summer 2013's course☆114Apr 25, 2023Updated 3 years ago
- CS410 "Advanced Functional Programming"☆34Mar 25, 2026Updated 3 months ago
- Desktop Sanskrit-English Dictionary☆12Jul 7, 2020Updated 5 years ago
- (Keep It) Simple Stupid Database☆10Jul 16, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Mar 16, 2024Updated 2 years ago
- Basic Analysis, undergraduate real analysis textbook☆94Jun 1, 2026Updated last month
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 5 months ago
- Contains Latex document: All solutions to M.A. Armstrong's "Basic Topology"☆13Jan 3, 2023Updated 3 years ago
- Código para construir el libro AnalizaR Datos Políticos☆24Feb 20, 2023Updated 3 years ago
- C library of Teserakt's E4 end-to-end security protocol☆15Feb 29, 2020Updated 6 years ago
- A solutions manual for Topology by James Munkres☆17Aug 12, 2018Updated 7 years ago
- Putting eBird on the decentralized web☆10Jan 7, 2023Updated 3 years ago
- ☆37Jul 14, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- [WIP] Private exitnode to open Onion Services via Tailscale IPN☆13May 27, 2023Updated 3 years ago
- ☆12May 14, 2023Updated 3 years ago
- A ppx that takes in css strings and produces a module for accessing the unique names defined within.☆17May 18, 2026Updated last month
- The public repository for all smart contracts used by Aktionariat.☆18Jun 16, 2026Updated 2 weeks ago
- 📱 Trigger easter eggs on mobile device☆15May 28, 2019Updated 7 years 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 7 years ago
- A starter for a blog powered by Gatsby and ReasonML☆14Jan 11, 2023Updated 3 years ago
- A utility micro-crate for using `Into` more ergonomically.☆12May 17, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 🦅 🎲 Roc library for number generation (and more!)☆10Updated this week
- Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"☆13Feb 27, 2018Updated 8 years ago
- Client library for Maelstrom and solutions to the Fly.io distributed systems challenges - gossip glomers☆14Feb 26, 2023Updated 3 years ago
- A helper to save me some keystrokes from nix-prefetch-git.☆13Apr 8, 2019Updated 7 years ago
- Anonymous enum and checked exception for Rust.☆23Apr 4, 2021Updated 5 years ago
- BLST-Verification☆23Apr 22, 2026Updated 2 months ago
- Simple HTML package documentation☆12Jan 14, 2026Updated 5 months ago