Sharing Geometry Proofs Across Logics and Systems