Alternatives and similar repositories for rsdd

Users that are interested in rsdd are comparing it to the libraries listed below

• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆71Updated 3 months ago
• IPDSnelting / tba-2021
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆51Updated 4 years ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• marcusrossel / lean-egg
  A (WIP) equality saturation tactic for Lean based on egg.
  ☆71Updated 3 weeks ago
• ufmg-smite / carcara
  ☆39Updated 3 weeks ago
• verse-lab / splean
  Separation Logic Proofs in Lean
  ☆44Updated 7 months ago
• strata-org / Strata
  ☆101Updated this week
• cameronfreer / lean4-skills
  Claude skills for Lean 4 theorem proving
  ☆20Updated this week
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆24Updated last year
• paulaneeley / modal
  ☆16Updated 4 years ago
• jtristan / stump-learnable
  ☆16Updated 4 years ago
• siddhartha-gadgil / Saturn
  Experiments with SAT solvers with proofs in Lean 4
  ☆62Updated last year
• dafny-lang / Dafny-VMC
  Dafny-VMC: a Library for Verified Monte Carlo Algorithms
  ☆16Updated 11 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 4 months ago
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆63Updated 2 months ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆70Updated last month
• rocq-community / rocq-lean-import
  ☆24Updated 2 weeks ago
• tlringer / plugin-tutorial
  Yet another plugin tutorial, this time as an exercise for 598
  ☆38Updated 2 years ago
• TermCOMP / TPDB
  The Termination Problem Database
  ☆29Updated 2 months ago
• wies / grasshopper
  An automated deductive program verifier.
  ☆42Updated 2 years ago
• logsem / iris-tutorial
  ☆57Updated last month
• FormalSAT / trestle
  ☆21Updated last month
• leanprover / leansat
  This package provides an interface and foundation for verified SAT reasoning
  ☆55Updated last year
• lean-forward / logical_verification_2025
  The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials
  ☆48Updated 6 months ago
• nyu-acsys / raven
  An automated deductive program verifier based on concurrent separation logic
  ☆21Updated 2 months ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• leanprover-community / plausible
  ☆67Updated last week
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆21Updated this week
• leanprover-community / iris-lean
  Lean 4 port of Iris, a higher-order concurrent separation logic framework
  ☆125Updated last week
• data61 / PSL
  ☆72Updated 5 months ago