06-08-2026, 03:46 PM
Title Logic and Proof
Autohr Jeremy Avigad
Summary : The text is an introductory course on mathematical logic and formal proof, designed to teach both classical proof techniques and how to use the Lean interactive theorem prover. Its main goal is to bridge informal mathematical reasoning with fully formal, machine-checked proofs.
BOOK PAGE
Autohr Jeremy Avigad
Summary : The text is an introductory course on mathematical logic and formal proof, designed to teach both classical proof techniques and how to use the Lean interactive theorem prover. Its main goal is to bridge informal mathematical reasoning with fully formal, machine-checked proofs.
BOOK PAGE
┌────────────────────────────────┐
│ KONSTANTINOS MICHAILIDIS │
└────────────────────────────────┘
│ KONSTANTINOS MICHAILIDIS │
└────────────────────────────────┘