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
  ☆64Updated last year
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆31Updated last year
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆97Updated 2 months ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated 3 months ago
• rzach / incompleteness-computability
  Textbook on Gödel's incompleteness theorems and computability theory
  ☆16Updated 3 years ago
• rzach / boxes-and-diamonds
  Open textbook on modal logic
  ☆19Updated 3 years ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆51Updated 4 months ago
• Vicfred / codeforces-haskell
  problems from codeforces solved in haskell
  ☆11Updated 5 years ago
• logsem / clutch
  Probabilistic separation logics for verifying higher-order probabilistic programs.
  ☆20Updated this week
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆128Updated last month
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆27Updated 8 months ago
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆36Updated last year
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆50Updated 11 months ago
• stan-dev / stanc3
  The Stan transpiler (from Stan to C++ and beyond).
  ☆143Updated this week
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆158Updated 7 months ago
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆140Updated 2 weeks ago
• programming-journal / programming
  ☆21Updated 5 months ago
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 3 years ago
• kayceesrk / cs6225_s21_iitm
  Course Website for CS6225: Programs and Proofs @ IIT Madras
  ☆11Updated 3 years ago
• math-comp / mcb
  Mathematical Components (the Book)
  ☆141Updated last year
• ilyasergey / pnp
  Lecture notes for a short course on proving/programming in Coq via SSReflect.
  ☆161Updated 3 years ago
• antonyeagle / edl
  Elements of Deductive Logic, an open-source intermediate logic textbook
  ☆12Updated 7 years ago
• coq-community / topology
  General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
  ☆47Updated 3 months ago
• metamath / metamath-book
  Source of metamath book
  ☆46Updated last year
• coq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆57Updated 10 months ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated 2 months ago
• mit-plv / coqutil
  Coq library for tactics, basic definitions, sets, maps
  ☆42Updated 2 weeks ago
• jsiek / B522-PL-Foundations
  Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
  ☆53Updated 4 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 2 months ago
• SatyendraBanjare / plt-formal-methods-resources
  Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…
  ☆55Updated 5 years ago