Journal of Formalized Reasoning | University of Bologna