Machine Learning in Proof General: Interfacing Interfaces | Publicación