JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants