Journal of Formalized Reasoning

Journal of Formalized Reasoning (JFR) – ISSN 1972-5787 encourages submission of papers describing significant, automated or semi-automated formalization efforts in any area, including classical mathematics, constructive mathematics, formal algorithms, and program verification. The emphasis of the journal is on proof techniques and methodologies and their impact on the formalization process. In particular, the journal provides a forum for comparing alternative approaches, enhancing reusability of solutions and offering a clear view of the current state of the field.

The journal encourages submission of papers describing significant, automated or semi-automated formalization efforts in any area, including classical mathematics, constructive mathematics, formal algorithms, and program verification. The emphasis of the journal is on proof techniques and methodologies and their impact on the formalization process. In particular, the journal provides a forum for comparing alternative approaches, enhancing reusability of solutions and offering a clear view of the current state of the field.

ISSN: 1972-5787


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

John Harrison, Josef Urban, Freek Wiedijk eds.

Table of Contents

QED 20th anniversary

John Harrison, Josef Urban, Freek Wiedijk
1 - 2
Mark Miles Adams
3 - 32
Robin Denis Arthan
33 -52
Arnon Avron, Liron Cohen
53-70
Michael Beeson
71-99
Jasmin C. Blanchette, Cezary Kaliszyk, Lawrence C. Paulson, Josef Urban
101-148
Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger
149-185
Mario M Carneiro
187-200
Michael Kohlhase, Florian Rabe
201-234
Alexander Lyaletski
235-264


This website uses only proprietary and third party technical cookies to ensure the correct operation of its web pages and to improve its services. If you wish to find out more, or deny your consent, consult the privacy policy. By continuing to navigate the website, or by clicking on "close", you consent to the use of the cookies.