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 3 weeks ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆70Updated 2 months 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
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆86Updated this week
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆172Updated last year
• windsteiger / Theorema
  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
  ☆74Updated 4 years ago
• math-comp / mcb
  Mathematical Components (the Book)
  ☆149Updated 4 months ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆117Updated last month
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆129Updated last year
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆32Updated last week
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆60Updated last month
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆125Updated 3 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• UniMath / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆246Updated 11 years ago
• andrejbauer / Homotopy
  Homotopy theory in Coq.
  ☆89Updated 14 years ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆281Updated this week
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆69Updated 10 months ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆76Updated 2 years ago
• sagemath / publications
  Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage
  ☆25Updated 4 months ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆117Updated last year
• 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
• byorgey / species
  ☆17Updated 4 months ago
• semigroups / Semigroups
  The GAP package Semigroups
  ☆29Updated this week
• jirilebl / ca
  Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis
  ☆13Updated last week
• Ben-McKay / concrete-algebra
  A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…
  ☆85Updated 2 years ago
• rocq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆168Updated 3 weeks ago