Gasquet, Olivier, Dominique Longin, Emiliano Lorini, Frederic Maris, Pierre Regnier, and Sergei Soloviev. 2021. “ToulST, A Teacher-and Student-Friendly Language for Propositional Logic And Discrete Mathematics”. Computer Tools in Education, no. 2 (August), 13-25. http://cte.eltech.ru/ojs/index.php/kio/article/view/1708.