Kohlhase, M.; Rabe, F. QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge. JFR 2016, 9, 201-234.