Journal of Formalized Reasoning – Andrea Asperti (The Reasoner, 2024)