Formal Verification

Resources

§Section titled Resources

Lean 4

§Section titled Lean 4

• VU Logical Verification 2022-2023 course (lecture videos included)
  • Book 2024: Hitchhiker’s Guide to Logical Verification
  • Exercise sheets 2024: repository
• Theorem Proving in Lean 4
• The Natural Numbers Game