Alternatives and similar repositories for MATH-104-----Introduction-to-Analysis:

Users that are interested in MATH-104-----Introduction-to-Analysis are comparing it to the libraries listed below

• GleasSpty / MATH-110-----Linear-Algebra
  ☆15Updated 7 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆110Updated 10 months ago
• ncatlab / nlab
  Source code for the nLab
  ☆173Updated last month
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆208Updated this week
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆81Updated 8 months ago
• dzaima / CBQN
  a BQN implementation in C
  ☆350Updated this week
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆162Updated 5 years ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆345Updated 6 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 9 months ago
• formalabstracts / formalabstracts
  ☆162Updated 5 years ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆67Updated 2 years ago
• ccz181078 / Coq-BB5
  ☆210Updated 3 weeks ago
• neugierde / cantors-attic
  Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information abou…
  ☆30Updated last year
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆254Updated 2 months ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆253Updated 3 weeks ago
• windsteiger / Theorema
  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
  ☆72Updated 3 years ago
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆55Updated 2 weeks ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆253Updated this week
• mlochbaum / BQN
  An APL-like programming language
  ☆952Updated last week
• drever / act-munich
  Resource for the applied category theory Munich reading group
  ☆21Updated 3 years ago
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆348Updated 7 months ago
• The-Clowder-Project / the-clowder-project
  This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general
  ☆24Updated this week
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆122Updated 3 years ago
• daly / axiom
  Axiom is a free, open source computer algebra system
  ☆379Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆246Updated 3 weeks ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆277Updated this week
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆125Updated last year
• Timeroot / Lean-QuantumInfo
  Quantum information theory in Lean 4
  ☆13Updated last week
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆57Updated 2 months ago