2024. Journal of Formalized Reasoning – Andrea Asperti. The Reasoner. 3, 7 (Sep. 2024).