Alternatives and similar repositories for for-all-x

Users that are interested in for-all-x are comparing it to the libraries listed below

• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated 2 months ago
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆57Updated 6 months ago
• shriram / mystery-languages
  Mystery Languages
  ☆40Updated 2 years ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆225Updated 7 months ago
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆96Updated 4 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 5 months ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆116Updated 3 years ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆55Updated 4 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆169Updated 10 months ago
• otherjoel / splitflap
  🔖⚛️ RSS / Atom feed generation library for Racket
  ☆22Updated 2 weeks ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆70Updated 6 months ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆11Updated last year
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆64Updated 11 months ago
• vladimirias / old_notes_on_type_systems
  Voevodsky's notes on type systems. This version contains more material than the one on his website.
  ☆11Updated 11 years ago
• xieyuheng / inet-cute
  An implementation of interaction nets in JS.
  ☆132Updated 2 months ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated last month
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆66Updated 2 months ago
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆54Updated 4 years ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated 2 months ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 2 months ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated 2 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆153Updated 2 months ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆12Updated 11 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated last year
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 4 months ago
• SaberVM / FVM
  The Functional Virtual Machine.
  ☆14Updated 9 months ago
• otherjoel / tabloid
  📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!
  ☆94Updated 4 years ago
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆115Updated this week