EvilBabyDemon / VVZ_extension
Browser extension for VVZ (ETHZ)
☆10Updated last month
Related projects ⓘ
Alternatives and complementary repositories for VVZ_extension
- Code for forum to review courses at ETH☆14Updated last year
- A collection of tools for writing technical documents that mix Coq code and prose.☆236Updated 2 months ago
- Catalog Of Math Problems Formalized In Lean☆112Updated this week
- eth & uzh mensas in zurich☆29Updated 3 weeks ago
- White-box automation for Lean 4☆211Updated this week
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆503Updated 3 months ago
- HoTTEST Summer School materials☆289Updated last year
- Clone of isabelle, with LSP extensions in seperate branches☆25Updated last week
- Visual Studio Code extension for Coq☆344Updated this week
- Visual Studio Code Extension and Language Server Protocol for Coq☆152Updated last week
- summaries of courses taken at ETH☆26Updated 3 years ago
- CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory☆218Updated this week
- ☆158Updated last week
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆167Updated last week
- Metaprogramming, verified meta-theory and implementation of Coq in Coq☆384Updated this week
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated 8 months ago
- ☆7Updated 2 years ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆128Updated 3 months ago
- Natural language tactics to teach mathematics using Lean 4☆50Updated last month
- Ltac2 tutorial☆42Updated 2 years ago
- Server to host lean games.☆196Updated 2 weeks ago
- Natural Number Game☆114Updated 2 weeks ago
- A work-in-progress language and compiler for verified low-level programming☆296Updated last week
- The "batteries included" extended library for the Lean programming language and theorem prover☆250Updated this week
- Mathematical Components compliant Analysis Library☆206Updated this week
- Theorem Proving in Lean 4☆164Updated last month
- The agda-unimath library☆222Updated this week
- ☆54Updated last week
- Lean models of Rust libraries☆10Updated 2 months ago
- A Lean file formatter☆63Updated last year