EvilBabyDemon / VVZ_extension
Browser extension for VVZ (ETHZ)
☆10Updated 3 weeks ago
Alternatives and similar repositories for VVZ_extension:
Users that are interested in VVZ_extension are comparing it to the libraries listed below
- Code for forum to review courses at ETH☆16Updated 2 weeks ago
- Visual Studio Code Extension and Language Server Protocol for Coq☆155Updated this week
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆510Updated 5 months ago
- ☆12Updated 3 months ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆21Updated 2 weeks ago
- The agda-unimath library☆229Updated last week
- ☆32Updated last month
- A verification toolchain for Rust programs☆231Updated this week
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆22Updated last month
- Coq code formatter☆22Updated this week
- Learning Framework for Logic Calculi☆16Updated this week
- Ltac2 tutorial☆43Updated 2 years ago
- Metaprogramming, verified meta-theory and implementation of Coq in Coq☆411Updated this week
- Visual Studio Code extension for Coq☆354Updated this week
- summaries of courses taken at ETH☆26Updated 3 years ago
- eth & uzh mensas in zurich☆29Updated 2 months ago
- The "batteries included" extended library for the Lean programming language and theorem prover☆269Updated this week
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆64Updated 9 months ago
- Communication between Coq and SAT/SMT solvers☆157Updated 3 months ago
- Definition of the Viper intermediate verification language.☆80Updated this week
- A Library for Representing Recursive and Impure Programs in Coq☆208Updated 3 months ago
- Experiments in automation for Lean☆85Updated this week
- Interactive Coq Proofs in Vim☆278Updated 2 weeks ago
- Mathematical Components compliant Analysis Library☆210Updated this week
- SampCert : Verified Differential Privacy☆69Updated 4 months ago
- agda-mode for neovim☆137Updated this week
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆52Updated 8 months ago
- Natural Number Game☆127Updated 2 weeks ago
- ☆165Updated last month
- ☆34Updated this week