Alternatives and similar repositories for VVZ_extension

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

• EvilBabyDemon / CourseReviewETH
  Code for forum to review courses at ETH
  ☆19Updated last month
• viperproject / VerifiedSCION
  Verifying the SCION architecture using Gobra
  ☆11Updated 2 weeks ago
• famoser / eth-summaries
  summaries of courses taken at ETH
  ☆28Updated 3 years ago
• JM4ier / parsley
  EBNF parsing toolset
  ☆10Updated 2 years ago
• logsem / iris-tutorial
  ☆52Updated 6 months ago
• leanprover-community / duper
  ☆81Updated 2 weeks ago
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆65Updated last week
• leanprover-community / iris-lean
  Lean 4 port of Iris, a higher-order concurrent separation logic framework
  ☆102Updated this week
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆86Updated this week
• model-checking / rust-lean-models
  Lean models of Rust libraries
  ☆14Updated 9 months ago
• ufmg-smite / carcara
  ☆38Updated this week
• meelgroup / approxmc
  Approximate Model Counter
  ☆78Updated last week
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆228Updated 2 months ago
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆56Updated last year
• AeneasVerif / aeneas
  A verification toolchain for Rust programs
  ☆299Updated last week
• leanprover / LNSym
  Armv8 Native Code Symbolic Simulator in Lean
  ☆84Updated 6 months ago
• just-max / exzellenz
  An especially excellent font.
  ☆13Updated 2 years ago
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆75Updated last month
• dwrensha / Chess.lean
  Chess in Lean 4
  ☆19Updated 5 months ago
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆61Updated last week
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆37Updated 3 months ago
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆39Updated 2 weeks ago
• leanprover-community / aesop
  White-box automation for Lean 4
  ☆277Updated this week
• Treeniks / isabelle-lsp.nvim
  ☆13Updated 8 months ago
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆79Updated last month
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆104Updated 4 months ago
• cvc5 / ethos
  A Flexible and Efficient Proof Checker for SMT Solvers
  ☆25Updated this week
• microsoft / verus-proof-synthesis
  ☆37Updated this week
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆67Updated last year
• ufmg-smite / lean-smt
  Tactics for discharging Lean goals into SMT solvers.
  ☆196Updated last month