Munich, Germany

Jasmin Blanchette

Expert
@blanchette

logical_verification_2023. Hitchhiker's Guide to Logical Verification (2023 Edition)

117

logical_verification_2020. Companion files for Logical Verification 2020–2021 at VU Amsterdam

95

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

64

logical_verification_2021. Lean

25

logical_verification_2022. Logical Verification 2022-2023 course at VU Amsterdam

19

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

14

logical_verification_2019. Repository for the course Logical Verification 2019–2020 at VU Amsterdam

13

interactive_theorem_proving_2026. Files associated with the course Interactive Theorem Proving at LMU SoSe 2026

10
8
Apply