Skip to content
View blanchette's full-sized avatar
42 followers · 0 following
  • Ludwig-Maximilians-Universität München
  • Munich, Germany

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Block or report blanchette

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. logical_verification_2020 logical_verification_2020 Public

    Companion files for Logical Verification 2020–2021 at VU Amsterdam

    Lean 95 13

  2. logical_verification_2023 logical_verification_2023 Public

    Hitchhiker's Guide to Logical Verification (2023 Edition)

    Lean 90 16

  3. interactive_theorem_proving_2024 interactive_theorem_proving_2024 Public

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

    Lean 57 4

  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 17 8

  6. logical_verification_2019 logical_verification_2019 Public

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

    Lean 13 5