LeanCoP - Lean Connection-Based Theorem Proving