Alternatives and similar repositories for MATH-110-----Linear-Algebra

Users that are interested in MATH-110-----Linear-Algebra are comparing it to the libraries listed below

• GleasSpty / MATH-104-----Introduction-to-Analysis
  ☆22Updated 8 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆132Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated last month
• formalabstracts / formalabstracts
  ☆165Updated 6 years ago
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆136Updated last year
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆229Updated 10 months ago
• ncatlab / nlab
  Source code for the nLab
  ☆193Updated 9 months ago
• agentultra / lean-for-hackers
  ☆19Updated 2 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆60Updated 2 months ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆84Updated 4 years ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆168Updated 6 years ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆266Updated last week
• felixwellen / DCHoTT-Agda
  Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
  ☆56Updated 3 years ago
• andrejbauer / marshall
  Real number computation software
  ☆128Updated 3 years ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆200Updated 3 weeks ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆89Updated 2 weeks ago
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• cmu-phil / Spectral
  ☆48Updated 2 years ago
• codyroux / name-the-biggest-number
  ☆64Updated 3 years ago
• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆21Updated last year
• leanprover-community / format_lean
  A Lean file formatter
  ☆69Updated 2 years 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…
  ☆33Updated 2 years ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆299Updated this week
• digama0 / mm0
  Metamath Zero specification language
  ☆365Updated last week
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated 2 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 7 months ago
• uds-psl / coq-library-undecidability
  A library of mechanised undecidability proofs in the Coq proof assistant.
  ☆127Updated last month
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆24Updated 3 months ago
• UniMath / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆245Updated 11 years ago