blanchette/interactive_theorem_proving_2024 blanchette/interactive_theorem_proving_2024

  • Stars
    star
    50
  • Rank 575,671 (Top 12 %)
  • Language Lean
  • Created 8 months ago
  • Updated about 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
blanchette/interactive_theorem_proving_2024
github

blanchette

Reviews

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

Repository Details

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

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

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