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
  ☆14Updated 8 years ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆302Updated last week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆132Updated last year
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆377Updated 3 months ago
• ncatlab / nlab
  Source code for the nLab
  ☆201Updated 10 months ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆406Updated this week
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆371Updated last year
• UniMath / SymmetryBook
  This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
  ☆438Updated last week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆284Updated 4 months ago
• ccz181078 / Coq-BB5
  ☆355Updated 4 months ago
• adamyedidia / parsimony
  ☆347Updated 7 years ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆303Updated last year
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆369Updated last week
• formalabstracts / formalabstracts
  ☆165Updated 6 years ago
• digama0 / mm0
  Metamath Zero specification language
  ☆373Updated last month
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆268Updated last week
• 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…
  ☆33Updated 2 years ago
• daly / axiom
  Axiom is a free, open source computer algebra system
  ☆394Updated 2 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆32Updated 2 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆261Updated 10 months ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆281Updated 2 weeks ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆322Updated 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
  ☆39Updated 5 months ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆387Updated last month
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆433Updated 2 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆57Updated 3 weeks ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆418Updated this week
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆40Updated last year
• UniMath / agda-unimath
  The agda-unimath library
  ☆283Updated this week