Gasquet, O. et al. 2021. ToulST, A Teacher-and Student-friendly Language for Propositional Logic And Discrete Mathematics. Computer Tools in Education. 2 (Aug. 2021), 13–25.