lean-forward/logical_verification_2024

The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)

Lean

13 commits

updated Mar 28, 2024

See the code

README

Logical Verification 2024

Files associated with the Hitchhiker's Guide to Logical Verification (2024 Edition).

Installation

The Hitchhiker's Guide PDF document is generated from the Lean demo files in the folder lean/LoVe. The same folder also contains an exercise sheet and a homework sheet for each chapter.

To edit the Lean files, open the lean folder as a Lean 4 project as described here.

Contributors

blanchette

13 commits

Similar repos

lean-forward/logical_verification_2025

The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials

161

same org

blanchette/logical_verification_2023

Hitchhiker's Guide to Logical Verification (2023 Edition)

119

leanprover/theorem_proving_in_lean4

Theorem Proving in Lean 4

275

hrmacbeth/math2001

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

372

djvelleman/HTPILeanPackage

Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"

sdiehl/zero-to-qed

From Zero to QED: An informal introduction to formality with Lean 4

126

IPDSnelting/tba-2021

Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021…

blanchette/interactive_theorem_proving_2024

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

Languages

Lean

100.0%

lean-forward/logical_verification_2024

The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)

Lean

13 commits

updated Mar 28, 2024

See the code

README

Logical Verification 2024

Files associated with the Hitchhiker's Guide to Logical Verification (2024 Edition).

Installation

The Hitchhiker's Guide PDF document is generated from the Lean demo files in the folder lean/LoVe. The same folder also contains an exercise sheet and a homework sheet for each chapter.

To edit the Lean files, open the lean folder as a Lean 4 project as described here.

Similar repos

lean-forward/logical_verification_2025

The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials

161

same org

blanchette/logical_verification_2023

Hitchhiker's Guide to Logical Verification (2023 Edition)

119

leanprover/theorem_proving_in_lean4

Theorem Proving in Lean 4

275

hrmacbeth/math2001

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

372

djvelleman/HTPILeanPackage

Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"

sdiehl/zero-to-qed

From Zero to QED: An informal introduction to formality with Lean 4

126

IPDSnelting/tba-2021

Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021…

blanchette/interactive_theorem_proving_2024

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

Contributors

blanchette

13 commits

Languages

Lean

100.0%