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
  ☆18Updated 5 months ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆413Updated this week
• gebner / m17n-lean
  System-wide Lean input method
  ☆12Updated 3 years ago
• famoser / eth-summaries
  summaries of courses taken at ETH
  ☆29Updated 4 years ago
• ejgallego / rocq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆192Updated this week
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆70Updated this week
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆28Updated last month
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆67Updated this week
• leanprover-community / NNG4
  Natural Number Game
  ☆243Updated last month
• tchajed / ltac2-tutorial
  Ltac2 tutorial
  ☆46Updated 2 years ago
• ccz181078 / Coq-BB5
  ☆346Updated last month
• leanprover-community / lean4game
  Server to host lean games.
  ☆337Updated 2 weeks ago
• logsem / iris-tutorial
  ☆58Updated 2 months ago
• mo271 / FormalBook
  Formalizing "Proofs from THE BOOK"
  ☆66Updated last month
• sr-lab / coqpyt
  Python client for coq-lsp
  ☆41Updated 3 months ago
• secure-foundations / owl
  Compositional Verification of Security Protocols
  ☆22Updated 2 weeks ago
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆530Updated 5 months ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆277Updated last month
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆56Updated 4 months ago
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆82Updated 6 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆305Updated 3 months ago
• leanprover-community / iris-lean
  Lean 4 port of Iris, a higher-order concurrent separation logic framework
  ☆128Updated last week
• ufmg-smite / carcara
  ☆39Updated last week
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆64Updated last week
• FormalizedFormalLogic / Foundation
  Formalization of Mathematical Logic
  ☆176Updated this week
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆98Updated last week
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆160Updated last month
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆23Updated 3 months ago
• Stavan-Jain / linear_algebra_game
  Building the linear algebra game!
  ☆10Updated 11 months ago
• leanprover-community / aesop
  White-box automation for Lean 4
  ☆308Updated last week