A Formalized General Theory of Syntax with Bindings: Extended Version Lorenzo GheriAndrei Popescu OriginalPaper 16 April 2019 Pages: 641 - 675
Homogeneous Length Functions on Groups: Intertwined Computer and Human Proofs Siddhartha Gadgil OriginalPaper 16 April 2019 Pages: 677 - 688
Automated Reasoning with Power Maps G. I. MoghaddamR. PadmanabhanYang Zhang OriginalPaper 07 May 2019 Pages: 689 - 697
A Verified Implementation of the Berlekamp–Zassenhaus Factorization Algorithm Jose DivasónSebastiaan J. C. JoostenAkihisa Yamada OriginalPaper Open access 17 June 2019 Pages: 699 - 735
Formalizing the Cox–Ross–Rubinstein Pricing of European Derivatives in Isabelle/HOL Mnacho EchenimHervé GuiolNicolas Peltier OriginalPaper 04 July 2019 Pages: 737 - 765
An Assertional Proof of Red–Black Trees Using Dafny Ricardo Peña OriginalPaper 03 October 2019 Pages: 767 - 791