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
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆108Updated this week
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆38Updated this week
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated last week
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆55Updated 9 months ago
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆170Updated this week
• 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
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆29Updated last year
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆44Updated 2 weeks ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆292Updated 6 months ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• rzach / incompleteness-computability
  Textbook on Gödel's incompleteness theorems and computability theory
  ☆20Updated this week
• mew-cx / chaitin_lisp
  Runnable code from Chaitin's "The Limits of Mathematics (in C)"
  ☆15Updated 2 years ago
• antonyeagle / edl
  Elements of Deductive Logic, an open-source intermediate logic textbook
  ☆13Updated 8 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated 2 months ago
• RichardHammack / RichardHammack.github.io
  Richard Hammack Web Page
  ☆13Updated last month
• gordanz / stochastic-book
  "Intro to Stochastic Processes"
  ☆2Updated last year
• ampl / awesome-ampl
  A curated list of awesome stuff made by the AMPL community.
  ☆17Updated 3 months ago
• bitemyapp / ledgertheory
  ☆14Updated 10 years ago
• meithecatte / isabelle-math-contests
  Solutions to math olympiad problems in Isabelle/HOL
  ☆11Updated 4 years ago
• skeeto / british-square
  British Square Engine (Analysis and Perfect AI Player)
  ☆17Updated 4 years ago
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆25Updated 3 years ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆109Updated last year
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆73Updated last year
• gjoncas / Artificial-Philosophy
  m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…
  ☆29Updated 5 years ago
• uchicago-computation-workshop / Winter2020
  Repository for the Winter 2020 Computational Social Science Workshop
  ☆11Updated 5 years ago
• jweisber / vip-source
  Source for textbook https://github.com/jweisber/vip
  ☆39Updated 2 years ago
• QuantEcon / lecture-python-programming
  Source files for https://python-programming.quantecon.org
  ☆19Updated 4 years ago
• Ben-McKay / concrete-algebra
  A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…
  ☆83Updated last year
• math-comp / mcb
  Mathematical Components (the Book)
  ☆145Updated last year