On two chain models for the gravity operad

In this note we recall the construction of two chain level lifts of the gravity operad, one due to Getzler-Kapranov and one due to Westerland. We prove that these two operads are formal and that they indeed have isomorphic homology.