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 2 months ago
• logsem / iris-tutorial
  ☆47Updated 4 months ago
• rocq-prover / vscoq
  Visual Studio Code extension for Coq
  ☆375Updated this week
• AeneasVerif / aeneas
  A verification toolchain for Rust programs
  ☆249Updated this week
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆251Updated last month
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Coq
  ☆166Updated this week
• famoser / Mensa
  eth & uzh mensas in zurich
  ☆29Updated last month
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆515Updated last month
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆226Updated this week
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆66Updated last week
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆159Updated 6 months ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆155Updated 3 weeks ago
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆64Updated this week
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆101Updated last month
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆23Updated this week
• viperproject / VerifiedSCION
  Verifying the SCION architecture using Gobra
  ☆11Updated last week
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆173Updated this week
• MetaRocq / metarocq
  Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
  ☆431Updated this week
• ccz181078 / Coq-BB5
  ☆191Updated this week
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆56Updated last year
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆117Updated last month
• leanprover-community / NNG4
  Natural Number Game
  ☆154Updated 2 weeks ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆297Updated last year
• leanprover-community / iris-lean
  Lean 4 port of Iris, a higher-order concurrent separation logic framework
  ☆92Updated this week
• famoser / eth-summaries
  summaries of courses taken at ETH
  ☆26Updated 3 years ago
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆72Updated 7 months ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆83Updated last week
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆366Updated this week
• microsoft / verus-proof-synthesis
  ☆24Updated last month
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆54Updated 11 months ago