blanchette/logical_verification_2022 blanchette/logical_verification_2022

  • Stars
    star
    17
  • Rank 1,253,987 (Top 25 %)
  • Language Lean
  • Created about 2 years ago
  • Updated 9 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
blanchette/logical_verification_2022
github

blanchette

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Logical Verification 2022-2023 course at VU Amsterdam

More Repositories

1

logical_verification_2020

Companion files for Logical Verification 2020–2021 at VU Amsterdam
Lean
96
star
2

logical_verification_2023

Hitchhiker's Guide to Logical Verification (2023 Edition)
Lean
84
star
3

interactive_theorem_proving_2024

Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
Lean
50
star
4

logical_verification_2021

Lean
25
star
5

logical_verification_2019

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