Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
Blanchette, J. C. (2019). Formalizing the Metatheory of Logical Calculi and Automatic Provers in Isabelle/HOL (Invited Talk). In A. Mahboubi, & M. O. Myreen (Eds.), CPP'19 (pp. 1-13). New York, NY: ACM. doi:10.1145/3293880.3294087.