blanchette/logical_verification_2019 blanchette/logical_verification_2019

  • Stars
    star
    13
  • Rank 1,512,713 (Top 30 %)
  • Language Lean
  • Created about 5 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
blanchette/logical_verification_2019
github

blanchette

Reviews

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

Repository Details

Repository for the course Logical Verification 2019–2020 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_2022

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