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
  ☆39Updated 4 months ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆111Updated last month
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated last week
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆68Updated last week
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆28Updated 12 years ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆44Updated 3 months ago
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆45Updated this week
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆174Updated 2 months ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆30Updated 7 years ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆227Updated 8 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated last month
• lqbrin / tea-time-numerical
  Tea Time Numerical Analysis
  ☆26Updated 3 years ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆55Updated 2 months ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆32Updated last week
• williamstein / rh
  Riemann Hypothesis book
  ☆75Updated 7 years ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆108Updated 2 weeks ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆31Updated last year
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆20Updated last week
• Quelklef / mathsproofbot
  Writing proofs to Twitter since April 2020
  ☆12Updated 3 years ago
• sagemath / more-sagemath-tutorials
  More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage
  ☆32Updated 2 years ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆112Updated last year
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• jlaurens / synctex
  Synchronization for TeX
  ☆79Updated 2 months ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• loopspace / tilings
  TikZ/PGF package for drawing tilings, such as penrose and polykite tilings
  ☆16Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 4 months ago