Preface: Twenty Years of the QED Manifesto

John Harrison, Josef Urban, Freek Wiedijk

Abstract


This special issue is dedicated to the 20th anniversary of the QED
Manifesto and the related 1994 and 1995 QED Workshops.


Keywords


QED, formal verification, formalization of mathematics

Full Text:

PDF (English)


DOI: 10.6092/issn.1972-5787/5974

Copyright (c) 2016 John Harrison, Josef Urban, Freek Wiedijk

Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 Unported License.