Openproof - A Flexible Framework for Heterogeneous Reasoning | Publicación