Preface: Twenty Years of the QED Manifesto
Keywords:QED, formal verification, formalization of mathematics
This special issue is dedicated to the 20th anniversary of the QED
Manifesto and the related 1994 and 1995 QED Workshops.
How to Cite
Copyright (c) 2016 John Harrison, Josef Urban, Freek Wiedijk
Copyrights and publishing rights of all the texts on this journal belong to the respective authors without restrictions.