Journal of Formalized Reasoning