Recycling Proof Patterns in Coq: Case Studies | Publicación