blanchette/logical_verification_2023 blanchette/logical_verification_2023

  • Stars
    star
    84
  • Rank 388,085 (Top 8 %)
  • Language Lean
  • Created about 1 year ago
  • Updated 11 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
blanchette/logical_verification_2023
github

blanchette

Reviews

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

Repository Details

Hitchhiker's Guide to Logical Verification (2023 Edition)

More Repositories

1

logical_verification_2020

Companion files for Logical Verification 2020–2021 at VU Amsterdam
Lean
96
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