Interactive Proof Explainer -- JProver: Integrating Connection-Based Theorem Proving