Proof library.

Every case study uses one structure: summary, challenge, approach, stack, results and lessons.