Journal Journal of Automated Reasoning Issue 4/2020 Table of Contents ( 6 Articles ) 16-04-2019 | Issue 4/2020 A Formalized General Theory of Syntax with Bindings: Extended Version Lorenzo Gheri, Andrei Popescu 16-04-2019 | Issue 4/2020 Homogeneous Length Functions on Groups: Intertwined Computer and Human Proofs Siddhartha Gadgil 07-05-2019 | Issue 4/2020 Automated Reasoning with Power Maps G. I. Moghaddam, R. Padmanabhan, Yang Zhang 17-06-2019 | Issue 4/2020 Open Access A Verified Implementation of the Berlekamp–Zassenhaus Factorization Algorithm Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada Download PDF-version View full text 04-07-2019 | Issue 4/2020 Formalizing the Cox–Ross–Rubinstein Pricing of European Derivatives in Isabelle/HOL Mnacho Echenim, Hervé Guiol, Nicolas Peltier 03-10-2019 | Issue 4/2020 An Assertional Proof of Red–Black Trees Using Dafny Ricardo Peña
