EvilBabyDemon / VVZ_extensionLinks
Browser extension for VVZ (ETHZ)
☆13Updated last week
Alternatives and similar repositories for VVZ_extension
Users that are interested in VVZ_extension are comparing it to the libraries listed below
Sorting:
- Code for forum to review courses at ETH☆18Updated 6 months ago
- Python script sending push notifications whenever a new room is published on the WOKO (student association for housing in Zurich) website…☆13Updated 2 years ago
- ☆350Updated 2 months ago
- Visual Studio Code extension for Coq☆417Updated this week
- Natural Number Game☆256Updated 2 months ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆192Updated this week
- System-wide Lean input method☆12Updated 3 years ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆279Updated 2 months ago
- ☆64Updated 2 months ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆131Updated this week
- KeY Theorem Prover for Deductive Java Verification☆66Updated this week
- A foundational framework for modular cryptographic proofs in Coq☆70Updated 2 weeks ago
- Server to host lean games.☆346Updated 2 weeks ago
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆484Updated this week
- Neovim client for coq-lsp☆29Updated 2 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆534Updated 6 months ago
- The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)☆70Updated last year
- The Vellvm (Verified LLVM) coq development.☆448Updated this week
- Communication between Coq and SAT/SMT solvers☆160Updated last week
- ☆95Updated last week
- Formalization of Mathematical Logic☆177Updated last week
- A Flexible and Efficient Proof Checker for SMT Solvers☆26Updated this week
- ☆19Updated last year
- A verification toolchain for Rust programs☆446Updated last week
- White-box automation for Lean 4☆314Updated this week
- Natural language tactics to teach mathematics using Lean 4☆101Updated last week
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆64Updated last week
- Armv8 Native Code Symbolic Simulator in Lean☆90Updated last week
- Interactive Coq Proofs in Vim☆307Updated 3 weeks ago
- An introduction to theorem proving in Lean for the impatient.☆294Updated 3 weeks ago