O. Gasquet, D. Longin, E. Lorini, F. Maris, P. Regnier, and S. Soloviev, “ToulST, A Teacher-and Student-friendly Language for Propositional Logic And Discrete Mathematics”, CTE, no. 2, pp. 13-25, Aug. 2021.