Just came across the Book of Proofs which looks like a nice project.