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
  ☆23Updated 7 years ago
• ncatlab / nlab
  Source code for the nLab
  ☆174Updated 2 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆111Updated 10 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 9 months ago
• andrejbauer / Homotopy
  Homotopy theory in Coq.
  ☆91Updated 14 years ago
• formalabstracts / formalabstracts
  ☆162Updated 5 years ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆163Updated 5 years ago
• felixwellen / DCHoTT-Agda
  Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
  ☆53Updated 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.
  ☆85Updated 4 years ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆254Updated this week
• imdea-software / htt
  Hoare Type Theory
  ☆75Updated last week
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆81Updated this week
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆64Updated this week
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆57Updated 2 weeks ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆161Updated 10 months ago
• UniMath / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆245Updated 10 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 3 weeks ago
• b-mehta / topos
  Topos theory in lean
  ☆59Updated 4 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆158Updated this week
• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆39Updated 3 months ago
• CategoryTheoryArchive / archive
  A digital archive of category theory papers.
  ☆30Updated last year
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆101Updated 3 months ago
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆229Updated 2 years ago
• rocq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆166Updated last week
• codyroux / name-the-biggest-number
  ☆64Updated 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…
  ☆30Updated last year
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆24Updated 2 weeks ago
• cmu-phil / Spectral
  ☆46Updated 2 years ago
• byorgey / series-formelles
  Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…
  ☆29Updated 9 months ago
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆190Updated this week