Discover @blanchette Open Source projects

Jasmin Blanchette (@blanchette)

blanchette

Stars
285
Global Rank 92,625 (Top 4 %)
Followers 39
Registered over 13 years ago
Most used languages

Lean 100.0 %
Location 🇩🇪 Germany
Country Total Rank 6,532
Country Ranking

Lean 2

logical_verification_2020

Companion files for Logical Verification 2020–2021 at VU Amsterdam

logical_verification_2023

Hitchhiker's Guide to Logical Verification (2023 Edition)

interactive_theorem_proving_2024

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

logical_verification_2021

logical_verification_2022

Logical Verification 2022-2023 course at VU Amsterdam

logical_verification_2019

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