blanchette/logical_verification_2020 blanchette/logical_verification_2020

  • Stars
    star
    96
  • Rank 350,229 (Top 7 %)
  • Language Lean
  • Created over 4 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
blanchette/logical_verification_2020
github

blanchette

Reviews

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

Repository Details

Companion files for Logical Verification 2020–2021 at VU Amsterdam

More Repositories

1

logical_verification_2023

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

interactive_theorem_proving_2024

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

logical_verification_2021

Lean
25
star
4

logical_verification_2022

Logical Verification 2022-2023 course at VU Amsterdam
Lean
17
star
5

logical_verification_2019

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