Alternatives and similar repositories for ent

Users that are interested in ent are comparing it to the libraries listed below

• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆177Updated 2 weeks ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆69Updated 2 months ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 8 years ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆32Updated 6 years ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆30Updated 12 years ago
• math-comp / mcb
  Mathematical Components (the Book)
  ☆149Updated 3 months ago
• andrejbauer / Homotopy
  Homotopy theory in Coq.
  ☆89Updated 14 years ago
• holdenlee / number-theory
  Open-source number theory textbook
  ☆63Updated last year
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆69Updated 10 months ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆281Updated this week
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆32Updated this week
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆172Updated last year
• thescrivener / PursuingStacks
  LaTeX version of Grothendieck's Pursuing Stacks
  ☆53Updated 4 years ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• JohnCremona / ecdata
  Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…
  ☆21Updated last year
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆125Updated 3 years ago
• byorgey / species
  ☆17Updated 4 months ago
• jeffreyadams / atlasofliegroups
  Automatically exported from code.google.com/p/atlasofliegroups
  ☆32Updated this week
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆86Updated this week
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆45Updated last month
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆41Updated 7 months ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆60Updated last month
• rocq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆168Updated 3 weeks ago
• UniMath / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆246Updated 11 years ago
• windsteiger / Theorema
  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
  ☆74Updated 4 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆157Updated 5 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• srcreigh / aluffi
  Solutions to Paolo Aluffi's "Algebra: Chapter 0".
  ☆58Updated 8 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆129Updated last year