matheusgirola / Halmos-Naive-Set-Theory-OCR-LaTeX-Reedition
Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
☆40Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for Halmos-Naive-Set-Theory-OCR-LaTeX-Reedition
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆206Updated 2 weeks ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated 9 months ago
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆57Updated 3 months ago
- Lecture notes from Cambridge maths☆63Updated 9 months ago
- The user home repository for the Mathematics in Lean tutorial.☆270Updated 2 weeks ago
- Server to host lean games.☆196Updated 2 weeks ago
- ☆85Updated last year
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆127Updated 3 months ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆256Updated this week
- A gamification of the theorems in MATH40002 Analysis 1☆79Updated last year
- Theorem Proving in Lean 4☆164Updated last month
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated 7 months ago
- My mathematical Zettelkasten, created using forester.☆78Updated last week
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆156Updated 8 months ago
- Slides and handwritten notes on the course on models of programming languages☆50Updated 4 years ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆85Updated 2 weeks ago
- Logic and Mechanized Reasoning☆87Updated 4 months ago
- This project converts structured Lean code into an interactive browser game.☆74Updated last year
- An introduction to theorem proving in Lean for the impatient.☆112Updated last week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆67Updated last year
- Building group theory from scratch in Lean☆59Updated 3 years ago
- An interactive theorem prover for string diagrams☆108Updated 3 weeks ago
- A Lean file formatter☆63Updated last year
- Basic Analysis, undergraduate real analysis textbook☆61Updated 3 weeks ago
- A formal consistency proof of Quine's set theory New Foundations☆66Updated this week
- Source code for the Mathematics in Lean tutorial.☆92Updated 2 weeks ago
- A curated list of awesome Category Theory resources.☆72Updated 9 months ago
- Very controlled natural language tactics for Lean☆61Updated 9 months ago
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆97Updated last year
- Natural Number Game☆115Updated 2 weeks ago