Journal of Formalized Reasoning (Jan 2016)

Preface: Twenty Years of the QED Manifesto

  • John Harrison,
  • Josef Urban,
  • Freek Wiedijk

DOI
https://doi.org/10.6092/issn.1972-5787/5974
Journal volume & issue
Vol. 9, no. 1
pp. 1 – 2

Abstract

Read online

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

Keywords