EvilBabyDemon / VVZ_extensionLinks
Browser extension for VVZ (ETHZ)
☆13Updated 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☆18Updated 7 months ago
- ☆352Updated 3 months ago
- Natural language tactics to teach mathematics using Lean 4☆111Updated last month
- Visual Studio Code extension for Coq☆428Updated last month
- A collection of tools for writing technical documents that mix Coq code and prose.☆282Updated 3 months ago
- System-wide Lean input method☆12Updated 3 years ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆195Updated last month
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆136Updated last week
- Natural Number Game☆273Updated 2 weeks ago
- A foundational framework for modular cryptographic proofs in Coq☆72Updated 3 weeks ago
- Course materials for Chalmers TPIL25 class☆15Updated 10 months ago
- Neovim client for coq-lsp☆30Updated 3 months ago
- ☆97Updated 3 weeks ago
- ☆67Updated 4 months ago
- A digital archive of category theory papers.☆33Updated 2 months ago
- SampCert : Verified Differential Privacy☆86Updated 8 months ago
- Formalizing "Proofs from THE BOOK"☆76Updated last week
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆224Updated 2 months ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆26Updated 3 weeks ago
- An introduction to theorem proving in Lean for the impatient.☆314Updated last month
- A (WIP) equality saturation tactic for Lean based on egg.☆76Updated 3 months ago
- A Library for Representing Recursive and Impure Programs in Coq☆239Updated last month
- Formalization of Mathematical Logic☆193Updated this week
- HoTTEST Summer School materials☆320Updated 7 months ago
- A collection of useful tips/tricks/hints for Isabelle users.☆16Updated last year
- White-box automation for Lean 4☆331Updated this week
- Armv8 Native Code Symbolic Simulator in Lean☆95Updated last month
- Markdown file of the list and explanations of all mathlib4 tactics☆53Updated 2 years ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆23Updated 5 months ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated 6 months ago