Alternatives and similar repositories for for-all-x:

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

• 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.
  ☆55Updated last week
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆32Updated last year
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆39Updated this week
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆48Updated 2 months ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• djvelleman / HTPILeanPackage
  ☆28Updated last month
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆97Updated last year
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆17Updated 2 months ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆20Updated 2 years ago
• sinhp / ProofLab
  ☆9Updated last year
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆23Updated 3 months ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆166Updated 3 months ago
• rose-lang / rose
  Composable autodiff for the interactive web.
  ☆23Updated 5 months ago
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆73Updated 6 months ago
• Trebor-Huang / HomotopyHistory
  ☆22Updated last year
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆95Updated 3 weeks ago
• brown-cs22 / CS22-Lean-2023
  Lean course materials for Brown CS 22, Spring 2023
  ☆20Updated last year
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆29Updated 2 years ago
• coq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆58Updated 11 months ago
• uds-psl / coq-library-complexity
  ☆30Updated last year
• favonia / hdtt2020-notes
  ☆36Updated 3 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆38Updated 4 years ago
• coq-community / semantics
  A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abs…
  ☆47Updated 3 years ago
• leanprover / lean-client-js
  ☆37Updated last year
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year