Alternatives and similar repositories for for-all-x

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

• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆19Updated 2 weeks 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.
  ☆56Updated 4 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆38Updated this week
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆59Updated 8 months ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 6 months ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆166Updated 7 months ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆76Updated 4 months ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated this week
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆104Updated 4 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• 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
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆41Updated 2 weeks ago
• choukh / CategoryTheory
  A Coq formalization of the textbook Categories and Toposes: Visualized and Explained
  ☆20Updated 2 years ago
• sinhp / ProofLab
  ☆9Updated 2 years ago
• brown-cs22 / CS22-Lean-2023
  Lean course materials for Brown CS 22, Spring 2023
  ☆20Updated last year
• djvelleman / HTPILeanPackage
  ☆31Updated 2 weeks ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆223Updated 4 months ago
• Trebor-Huang / agda-linear
  An implementation of a Zeilberger-style linear type theory.
  ☆11Updated 3 years ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 3 years ago
• xieyuheng / cat
  A categorical semantics library in Agda.
  ☆17Updated 5 years ago
• barry-jay-personal / typed_tree_calculus
  types for various combinatory systems, especialy tree calculi
  ☆17Updated 5 months ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 4 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated this week
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆14Updated last year
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆62Updated 10 months ago
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆43Updated last year
• jsiek / denotational_semantics
  Denotational semantics based on graph and filter models
  ☆23Updated 6 months ago
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆54Updated 3 years ago