A Lean 4 follow along project companion with the book Logic in Computer Science: Modelling and Reasoning about Systems by Michael Huth and Mark Ryan (Second Edition)
I will be going through examples provided in the book and implementing them in Lean.