Journal of Formalized Reasoning – Andrea Asperti. tr 2024, 3 (7).