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 8 months ago
• ccz181078 / Coq-BB5
  ☆355Updated 4 months ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆430Updated last month
• leanprover-community / NNG4
  Natural Number Game
  ☆283Updated last month
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆284Updated 4 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆322Updated 7 months ago
• gebner / m17n-lean
  System-wide Lean input method
  ☆12Updated 3 years ago
• mo271 / FormalBook
  Formalizing "Proofs from THE BOOK"
  ☆78Updated last week
• logsem / iris-tutorial
  ☆69Updated 4 months ago
• leanprover-community / aesop
  White-box automation for Lean 4
  ☆335Updated last week
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆114Updated last week
• leanprover-community / duper
  ☆98Updated this week
• FormalizedFormalLogic / Foundation
  Formalization of Mathematical Logic
  ☆196Updated this week
• isabelle-prover / cookbook
  A collection of useful tips/tricks/hints for Isabelle users.
  ☆16Updated last year
• rocq-community / rocq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
  ☆195Updated this week
• leanprover-community / lean4game
  Server to host lean games.
  ☆391Updated 2 weeks ago
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆15Updated 11 months ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆323Updated last month
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆73Updated last week
• leanprover-community / batteries
  The "batteries included" extended library for the Lean programming language and theorem prover
  ☆357Updated this week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆132Updated last year
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆538Updated 8 months ago
• marshall-lee / software_foundations
  My solutions to Software Foundations course in Coq proof assistant.
  ☆43Updated 4 months ago
• leanprover-community / iris-lean
  Lean 4 port of Iris, a higher-order concurrent separation logic framework
  ☆142Updated this week
• digama0 / lean4lean
  Lean 4 kernel / 'external checker' written in Lean 4
  ☆158Updated last week
• UniMath / agda-unimath
  The agda-unimath library
  ☆283Updated 2 weeks ago
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆86Updated 8 months ago
• haruhisa-enomoto / mathlib4-all-tactics
  Markdown file of the list and explanations of all mathlib4 tactics
  ☆53Updated 2 years ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆113Updated 2 weeks ago
• lean-ja / lean99
  These are Lean translations of Ninety-Nine Haskell Problems (WIP)
  ☆17Updated 11 months ago