Alternatives and similar repositories for forallx:

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

• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆33Updated last year
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated 5 months ago
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆26Updated 6 years ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆101Updated last month
• OpenLogicProject / forallx-cam
  Tim Button's Cambridge version of forallx
  ☆12Updated 6 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆43Updated this week
• thosgood / sga
  An English translation of the Séminaire de Géométrie Algébrique du Bois Marie
  ☆31Updated last month
• oscarlevin / pandoc-pretext
  A custom Lua writer to convert anything pandoc reads to PreTeXt.
  ☆13Updated 8 months ago
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆38Updated last year
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆29Updated 10 months ago
• stacks / stacks-tools
  Tools for managing the TeX sources of the Stacks project
  ☆16Updated 9 months ago
• edwardtufte / tufte-latex
  Tufte-style documents with LaTex
  ☆55Updated 9 years ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆52Updated last week
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆49Updated 2 years ago
• bdtc / lwarp
  The LaTeX lwarp package — Convert LaTeX to HTML.
  ☆39Updated last year
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 7 years ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆51Updated 6 months ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆66Updated last year
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• osj1961 / giam
  A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
  ☆113Updated 2 weeks ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 4 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆232Updated 3 months ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated 3 weeks ago
• math-comp / mcb
  Mathematical Components (the Book)
  ☆141Updated last year
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆108Updated last year
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆214Updated last month
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆30Updated 10 months ago