Harrison, J., Urban, J., & Wiedijk, F. (2016). Preface: Twenty Years of the QED Manifesto. Journal of Formalized Reasoning, 9(1), 1–2. https://doi.org/10.6092/issn.1972-5787/5974