Proof Pattern Search in Coq/SSReflect | Publicación