The 3rd edition of Velleman's book has an online supplement that uses Lean to work through the book so you can get feedback about your proofs.