Logic And Proof, Lent 2024 Lean implementation of all concepts from the course "Logic and Proof" with accompanying Lean proofs.