Alternatives and similar repositories for forallx-cam

Users that are interested in forallx-cam are comparing it to the libraries listed below

• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 6 months ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆68Updated 2 months ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆111Updated last month
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated 3 months ago
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆175Updated 2 months ago
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆45Updated 2 weeks ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• rzach / incompleteness-computability
  Textbook on Gödel's incompleteness theorems and computability theory
  ☆20Updated 3 months ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆112Updated 2 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated 2 months ago
• osj1961 / giam
  A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
  ☆120Updated 2 months ago
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆68Updated last year
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 4 years ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆55Updated last month
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆54Updated last week
• thery / coqprime
  Prime numbers for Coq
  ☆42Updated last week
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆44Updated 3 months ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆28Updated 12 years ago
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆17Updated last year
• planetmath / 11_Number_theory
  ☆22Updated 2 years ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• droodman / Modeling-Human-Trajectory
  Code + data archive for "Modeling the Human Trajectory"
  ☆29Updated last year
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆111Updated last year
• djvelleman / HTPILeanPackage
  ☆33Updated 2 months ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆15Updated last year
• QuantEcon / lecture-python-programming.myst
  Python Programming for Finance and Economics
  ☆59Updated this week
• twjudson / odeproject-public
  ☆12Updated last month
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆206Updated last year