EvilBabyDemon / VVZ_extensionLinks
Browser extension for VVZ (ETHZ)
☆13Updated 2 weeks ago
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 7 months ago
- Visual Studio Code extension for Coq☆424Updated last week
- A collection of tools for writing technical documents that mix Coq code and prose.☆279Updated 3 months ago
- System-wide Lean input method☆12Updated 3 years ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆134Updated last week
- Natural language tactics to teach mathematics using Lean 4☆107Updated 3 weeks ago
- White-box automation for Lean 4☆320Updated this week
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆193Updated 2 weeks ago
- Natural Number Game☆267Updated 2 months ago
- ☆66Updated 3 months ago
- ☆96Updated this week
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆29Updated last week
- Formalizing "Proofs from THE BOOK"☆71Updated 2 weeks ago
- A (WIP) equality saturation tactic for Lean based on egg.☆75Updated 2 months ago
- Experiments on automation for Lean☆149Updated this week
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆535Updated 6 months ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆23Updated 4 months ago
- ☆65Updated 2 weeks ago
- ☆350Updated 3 months ago
- Lean 4 kernel / 'external checker' written in Lean 4☆143Updated last week
- HoTTEST Summer School materials☆318Updated 6 months ago
- A foundational framework for modular cryptographic proofs in Coq☆71Updated this week
- Neovim client for coq-lsp☆30Updated 2 months ago
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12Updated 6 months ago
- Interactive Coq Proofs in Vim☆310Updated 2 weeks ago
- An introduction to theorem proving in Lean for the impatient.☆307Updated last week
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆490Updated last week
- The "batteries included" extended library for the Lean programming language and theorem prover☆346Updated this week
- Course materials for Chalmers TPIL25 class☆15Updated 10 months ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆168Updated last week