EvilBabyDemon / VVZ_extensionLinks
Browser extension for VVZ (ETHZ)
☆10Updated last month
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☆19Updated 3 weeks ago
- Python script sending push notifications whenever a new room is published on the WOKO (student association for housing in Zurich) website…☆11Updated last year
- summaries of courses taken at ETH☆28Updated 3 years ago
- Learning Framework for Logic Calculi☆16Updated last week
- ☆52Updated 6 months ago
- A foundational framework for modular cryptographic proofs in Coq☆64Updated last week
- Verifying the SCION architecture using Gobra☆11Updated this week
- A library of mechanised undecidability proofs in the Coq proof assistant.☆119Updated last month
- Course materials for Chalmers TPIL25 class☆13Updated 3 months ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆170Updated last week
- A fast and simple automata library☆26Updated last week
- KeY Theorem Prover for Deductive Java Verification☆56Updated this week
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆23Updated 3 weeks ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆98Updated 2 weeks ago
- A (WIP) equality saturation tactic for Lean based on egg.☆60Updated this week
- How to use boost, CGAL, and ideas for solving the Algolab lecture exercises☆18Updated last year
- Natural language tactics to teach mathematics using Lean 4☆78Updated 3 weeks ago
- Main source code repository of the Tamarin prover for security protocol verification.☆459Updated 2 weeks ago
- Assignment viewer for ETHz first-year bachelor students.☆10Updated 8 months ago
- Python client for coq-lsp☆38Updated last month
- This package provides an interface and foundation for verified SAT reasoning☆52Updated 9 months ago
- ☆34Updated last week
- Ltac2 tutorial☆45Updated 2 years ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆263Updated 3 months ago
- Natural Number Game☆167Updated 2 months ago
- A verification toolchain for Rust programs☆262Updated this week
- The main codex repository☆19Updated 8 months ago
- Coq code formatter☆23Updated 3 weeks ago
- Tactics for discharging Lean goals into SMT solvers.☆191Updated 2 weeks ago
- Formalization of Mathematical Logic☆120Updated this week