Volume 64, Issue 5 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 64, Issue 5

June 2020

Special Issue: Selected Extended Papers from ITP 2018

Issue Editors:

Jeremy Avigad,
Assia Mahboubi

7 articles in this issue

Preface: Selected Extended Papers from Interactive Theorem Proving 2018
Jeremy Avigad
Assia Mahboubi
EditorialNotes 22 May 2020 Pages: 793 - 794
Graph Theory in Coq: Minors, Treewidth, and Isomorphisms
Christian Doczkal
Damien Pous
OriginalPaper 31 January 2020 Pages: 795 - 825
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL
René Thiemann
Ralph Bottesch
Akihisa Yamada
OriginalPaper Open access 09 June 2020 Pages: 827 - 856
A Relaxation of Üresin and Dubois’ Asynchronous Fixed-Point Theory in Agda
Matthew L. Daggitt
Ran Zmigrod
Timothy G. Griffin
OriginalPaper Open access 10 December 2019 Pages: 857 - 877
Verified Analysis of Random Binary Tree Structures
Manuel Eberl
Max W. Haslbeck
Tobias Nipkow
OriginalPaper Open access 08 February 2020 Pages: 879 - 910
Formal Reasoning Under Cached Address Translation
Hira Taqdees Syeda
Gerwin Klein
OriginalPaper 18 January 2020 Pages: 911 - 945
The MetaCoq Project
Matthieu Sozeau
Abhishek Anand
Théo Winterhalter
OriginalPaper 18 February 2020 Pages: 947 - 999