Gasquet, O.; Longin, D.; Lorini, E.; Maris, F.; Regnier, P.; Soloviev, S. ToulST, A Teacher-and Student-Friendly Language for Propositional Logic And Discrete Mathematics. CTE 2021, 13-25.