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

• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆66Updated last year
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆233Updated 3 months ago
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆61Updated 7 months ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆97Updated last year
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆33Updated last year
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆159Updated last year
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆80Updated this week
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆71Updated 3 weeks ago
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆88Updated 4 months ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆126Updated 3 weeks ago
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆113Updated last year
• Ben-McKay / concrete-algebra
  A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…
  ☆81Updated last year
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆150Updated 2 weeks ago
• hooyuser / Solution-to-Algebra-Chapter-0
  Solution to Algebra, Chapter 0
  ☆88Updated last year
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆101Updated last month
• uds-psl / Prog
  ☆82Updated 3 years ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• gillescastel / masterthesis
  Master Thesis
  ☆189Updated 3 years ago
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆47Updated 3 years ago
• 34j / best-of-lean4
  A list of awesome lean4 projects. Feel free to add your project.
  ☆79Updated last week
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆313Updated 3 weeks ago
• gillescastel / lecture-notes
  LaTeX code for some of my lecture notes
  ☆269Updated 3 years ago
• ImperialCollegeLondon / formalising-mathematics-2022
  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
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 4 months ago
• Name-Kompsky / tripos
  Cambridge Maths Tripos notes
  ☆36Updated 4 years ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆57Updated 5 months ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆77Updated 10 months ago
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆79Updated 7 months ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆45Updated last year