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 2 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆37Updated last year
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated last month
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆107Updated 4 months ago
• rzach / incompleteness-computability
  Textbook on Gödel's incompleteness theorems and computability theory
  ☆20Updated 3 years ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆41Updated last year
• antonyeagle / edl
  Elements of Deductive Logic, an open-source intermediate logic textbook
  ☆13Updated 8 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆60Updated 6 months ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated 2 months ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆29Updated last year
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆55Updated 8 months ago
• thery / coqprime
  Prime numbers for Coq
  ☆39Updated last week
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆170Updated 2 weeks ago
• rzach / boxes-and-diamonds
  Open textbook on modal logic
  ☆23Updated 3 years ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆25Updated 5 years ago
• APEXCalculus / APEXCalculusV5
  Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.
  ☆31Updated last year
• jweisber / vip-source
  Source for textbook https://github.com/jweisber/vip
  ☆39Updated 2 years ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated last month
• naproche / naproche
  Write formal proofs in natural language and LaTeX.
  ☆36Updated last week
• ejgallego / pycoq
  Python bindings for the Coq interactive proof assistant
  ☆55Updated 3 years ago
• gordanz / stochastic-book
  "Intro to Stochastic Processes"
  ☆2Updated last year
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆44Updated last week
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆168Updated 4 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆254Updated 5 months ago
• AthenaFoundation / athena
  Athena is a modern, practical language for proof engineering & natural deduction.
  ☆72Updated 3 weeks ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 7 years ago
• VeriNum / vcfloat
  VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
  ☆28Updated 3 months ago