Blanchette, Jasmin Automation of Logic, MPI for Informatics, Max Planck Society;
https://drops.dagstuhl.de/opus/volltexte/2022/16717 (Verlagsversion)
https://doi.org/10.5281/zenodo.5940084 (Ergänzendes Material)
LIPIcs-ITP-2022-8.pdf (Verlagsversion), 770KB
Desharnais, M., Vukmirović, P., Blanchette, J., & Wenzel, M. (2022). Seventeen Provers Under the Hammer. In J. Andronick, & L. de Moura (Eds.), 13th International Conference on Interactive Theorem Proving (pp. 118-87). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.ITP.2022.8.
