JProver: Integrating Connection-Based Theorem Proving into Interactive Proof Assistants | Publicación