Preface: Twenty Years of the QED Manifesto

Authors

  • John Harrison
  • Josef Urban
  • Freek Wiedijk

DOI:

https://doi.org/10.6092/issn.1972-5787/5974

Keywords:

QED, formal verification, formalization of mathematics

Abstract

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

Downloads

Published

2016-01-29

How to Cite

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

Issue

Vol. 9 No. 1 (2016): Special Issue: Twenty Years of the QED Manifesto

Section

QED 20th anniversary

License

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.

Creative Commons License

This journal is licensed under a Creative Commons Attribution 3.0 Unported License (full legal code).
See also our Open Access policy