Alternatives and similar repositories for for-all-x

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

• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆96Updated 4 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆167Updated 8 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.
  ☆56Updated 5 months ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆115Updated 2 years ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆83Updated last month
• T-Brick / c0deine
  Reference compiler for c0
  ☆36Updated 2 months ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆224Updated 6 months ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated last month
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆105Updated 3 weeks ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 3 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated last month
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆19Updated last month
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆110Updated last year
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆63Updated 10 months ago
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆41Updated 2 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 9 months ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆130Updated last year
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆38Updated last month
• leanprover / fp-lean
  Functional Programming in Lean
  ☆101Updated this week
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆96Updated 2 years ago
• otherjoel / splitflap
  🔖⚛️ RSS / Atom feed generation library for Racket
  ☆22Updated 4 months ago
• mit-frap / spring20
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
  ☆19Updated 5 years ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆170Updated last month
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated last month
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆76Updated last month
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 3 months ago