Federico Flaviani, Walter Carballosa. Proof Assistant Based on Calculational Logic to Assist the Learning of Propositional Logic and Boolean Algebras. In XLVIII Latin American Computer Conference, CLEI 2022, Armenia, Colombia, October 17-21, 2022. pages 1-9, IEEE, 2022. [doi]
Abstract is missing.