EvilBabyDemon / VVZ_extension
Browser extension for VVZ (ETHZ)
☆10Updated 2 months 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☆18Updated last month
- Visual Studio Code extension for Coq☆362Updated this week
- summaries of courses taken at ETH☆26Updated 3 years ago
- ☆40Updated 2 months ago
- A library of mechanised undecidability proofs in the Coq proof assistant.☆113Updated 3 weeks ago
- Mathematical Components compliant Analysis Library☆211Updated this week
- A collection of tools for writing technical documents that mix Coq code and prose.☆249Updated 2 months ago
- ☆34Updated this week
- HoTTEST Summer School materials☆296Updated last year
- White-box automation for Lean 4☆238Updated this week
- Metaprogramming, verified meta-theory and implementation of Coq in Coq☆420Updated this week
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆21Updated this week
- ☆186Updated last week
- System-wide Lean input method☆12Updated 3 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆513Updated last week
- eth & uzh mensas in zurich☆29Updated this week
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆37Updated 6 months ago
- Checker for "morally correct" induction proofs about haskell programs☆9Updated 2 years ago
- A formal proof of the independence of the continuum hypothesis☆121Updated 5 months ago
- Experiments in automation for Lean☆92Updated last week
- Visual Studio Code Extension and Language Server Protocol for Coq☆159Updated this week
- Solver for Constrained Horn Clauses☆35Updated this week
- The Lean version manager☆341Updated 3 weeks ago
- The "batteries included" extended library for the Lean programming language and theorem prover☆282Updated this week
- Python script sending push notifications whenever a new room is published on the WOKO (student association for housing in Zurich) website…☆10Updated last year
- Randomized Property-Based Testing Plugin for Coq☆263Updated 2 weeks ago
- Communication between Coq and SAT/SMT solvers☆158Updated 5 months ago
- The Vampire Theorem Prover☆325Updated this week
- Lean 4 tutorial files☆34Updated 9 months ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆53Updated 9 months ago