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 months ago
- System-wide Lean input method☆12Updated 3 years ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆267Updated last week
- ☆87Updated 2 weeks ago
- ☆328Updated 5 months ago
- Formalization of Mathematical Logic☆154Updated last week
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆463Updated this week
- White-box automation for Lean 4☆294Updated this week
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆526Updated 3 months ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆117Updated 3 weeks ago
- Building the linear algebra game!☆10Updated 9 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆393Updated this week
- Visual Studio Code extension for Coq☆406Updated 3 weeks ago
- HoTTEST Summer School materials☆311Updated 3 months ago
- Markdown file of the list and explanations of all mathlib4 tactics☆48Updated last year
- Course materials for Chalmers TPIL25 class☆14Updated 6 months ago
- Natural Number Game☆208Updated this week
- SampCert : Verified Differential Privacy☆81Updated 4 months ago
- Interactive Coq Proofs in Vim☆300Updated last month
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆26Updated 2 weeks ago
- Experiments on automation for Lean☆131Updated 2 weeks ago
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆85Updated 2 weeks ago
- Intuitive, type-safe expression quotations for Lean 4.☆93Updated 2 weeks ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆362Updated 2 weeks ago
- ☆14Updated 10 months ago
- Formalizing "Proofs from THE BOOK"☆64Updated last month
- A (WIP) equality saturation tactic for Lean based on egg.☆69Updated 2 weeks ago
- Natural language tactics to teach mathematics using Lean 4☆90Updated last month
- A Library for Representing Recursive and Impure Programs in Coq☆231Updated 2 months ago
- A library of mechanised undecidability proofs in the Coq proof assistant.☆120Updated last month