Alternatives and similar repositories for kalkulierbar

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

• TermCOMP / TPDB
  The Termination Problem Database
  ☆29Updated 4 months ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆66Updated this week
• marcusrossel / lean-egg
  A (WIP) equality saturation tactic for Lean based on egg.
  ☆60Updated last week
• leanprover-community / iris-lean
  Lean 4 port of Iris, a higher-order concurrent separation logic framework
  ☆97Updated this week
• xavierleroy / cdf-mech-sem
  Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
  ☆66Updated last year
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆104Updated this week
• leanprover-community / plausible
  ☆45Updated 2 weeks ago
• alexkeizer / QpfTypes
  A WIP definitional (co)datatype package for Lean4
  ☆36Updated 4 months ago
• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆34Updated last month
• meelgroup / approxmc
  Approximate Model Counter
  ☆78Updated this week
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆20Updated this week
• leanprover-community / duper
  ☆72Updated this week
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆85Updated this week
• sgraf812 / mpl
  A prototype for a monadic program logic in Lean
  ☆22Updated this week
• ufmg-smite / carcara
  ☆37Updated this week
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆37Updated 2 weeks ago
• david-christiansen / ssft24
  ☆17Updated 11 months ago
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆55Updated last year
• FormalSAT / trestle
  ☆21Updated 2 weeks ago
• leanprover / leansat
  This package provides an interface and foundation for verified SAT reasoning
  ☆52Updated 8 months ago
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆25Updated 3 weeks ago
• siddhartha-gadgil / Saturn
  Experiments with SAT solvers with proofs in Lean 4
  ☆57Updated 10 months ago
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆38Updated this week
• paulaneeley / modal
  ☆14Updated 4 years ago
• digama0 / lean4lean
  Lean 4 kernel / 'external checker' written in Lean 4
  ☆102Updated 3 months ago
• grigoryfedyukovich / aeval
  AE-solver and Skolemizer
  ☆17Updated 5 months ago
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆158Updated 7 months ago
• chasenorman / CanonicalLean
  A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
  ☆61Updated last week
• codex-semantics-library / codex
  The main codex repository
  ☆19Updated 7 months ago
• haruhisa-enomoto / mathlib4-all-tactics
  Markdown file of the list and explanations of all mathlib4 tactics
  ☆41Updated last year