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
  ☆37Updated last year
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆107Updated 4 months ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆52Updated 2 weeks ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆58Updated last month
• OpenLogicProject / forallx-cam
  Tim Button's Cambridge version of forallx
  ☆13Updated 6 years ago
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆41Updated last year
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated last year
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated last month
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆26Updated 6 years ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆104Updated 4 months ago
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆254Updated 5 months ago
• mikeshulman / basictex
  My basic LaTeX macros and BibTeX file.
  ☆13Updated 2 years ago
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆44Updated this week
• stacks / stacks-tools
  Tools for managing the TeX sources of the Stacks project
  ☆16Updated 11 months ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆47Updated this week
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆29Updated last year
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated 11 months ago
• jonathanichikawa / for-all-x
  Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa
  ☆17Updated last month
• thosgood / sga
  An English translation of the Séminaire de Géométrie Algébrique du Bois Marie
  ☆33Updated 3 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆52Updated 2 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 7 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆14Updated last month
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆86Updated last week
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• LogicalAtomist / principia
  The Principia Rewrite
  ☆222Updated 4 months ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆55Updated 8 months ago
• thosgood / fga
  An English translation of Grothendieck's Fondements de la Géometrie Algébrique
  ☆18Updated 5 months ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆29Updated last year