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
• xnning / Dissertation
  My PhD Thesis
  ☆14Updated 3 years ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 2 years ago
• coq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆57Updated 10 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆31Updated last year
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 3 years ago
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆39Updated last week
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• leanprover / lean-client-js
  ☆37Updated 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 10 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆38Updated 4 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆67Updated 7 years ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated this week
• benediktahrens / CT4P
  ☆33Updated 2 months ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆21Updated last year
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 4 years ago
• thery / hanoi
  Hanoi tower in Coq
  ☆24Updated last month
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆17Updated last month
• OpenLogicProject / fitch
  Peter Selinger's LaTeX macros for Fitch style natural deduction
  ☆10Updated last year
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆29Updated 3 weeks ago
• FlorianAdler / AlgebraBonn
  Lecture Notes for Algebra Lectures at the University of Bonn
  ☆11Updated 4 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆46Updated 2 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆20Updated 2 years ago
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆26Updated 4 years ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆20Updated 2 weeks ago
• joom / type.systems
  joke page until I decide what to do with this domain name
  ☆35Updated 6 months ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆53Updated 4 years ago
• uds-psl / coq-library-complexity
  ☆28Updated last year