Harrison, John, Josef Urban, and Freek Wiedijk. 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.