lean-forward/logical_verification_2024

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

blanchette/logical_verification_2023

Hitchhiker's Guide to Logical Verification (2023 Edition)

hrmacbeth/math2001

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

IPDSnelting/tba-2021

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

leanprover/theorem_proving_in_lean4

Theorem Proving in Lean 4

sdiehl/zero-to-qed

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

leanprover/lean

Lean Theorem Prover

djvelleman/HTPILeanPackage

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