Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users | Publicación