Proof Assistant Based on Calculational Logic to Assist the Learning of Propositional Logic and Boolean Algebras.

Federico Flaviani, Walter Carballosa

Browse the full CLEI paper archive.