Popular repositories Loading

1. logical_verification_2023 logical_verification_2023 Public

   Hitchhiker's Guide to Logical Verification (2023 Edition)

   Lean 114 19

2. logical_verification_2020 logical_verification_2020 Public

   Companion files for Logical Verification 2020–2021 at VU Amsterdam

   Lean 96 13

3. interactive_theorem_proving_2024 interactive_theorem_proving_2024 Public

   Files associated with the course Interactive Theorem Proving at LMU SoSe 2024

   Lean 63 5

4. logical_verification_2021 logical_verification_2021 Public

   Lean 25 8

5. logical_verification_2022 logical_verification_2022 Public

   Logical Verification 2022-2023 course at VU Amsterdam

   Lean 18 8

6. interactive_theorem_proving_2025 interactive_theorem_proving_2025 Public

   Files associated with the course Interactive Theorem Proving at LMU SoSe 2025

   Lean 14 2