Gasquet, O., Longin, D., Lorini, E., Maris, F., Regnier, P. and Soloviev, S. (2021) “ToulST, A Teacher-and Student-friendly Language for Propositional Logic And Discrete Mathematics”, Computer Tools in Education, (2), pp. 13-25. Available at: http://cte.eltech.ru/ojs/index.php/kio/article/view/1708 (Accessed: 2May2024).