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 (Aug. 2021), 13-25.