M. Kohlhase and F. Rabe, “QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge”, JFR, vol. 9, no. 1, pp. 201–234, Jan. 2016.