Interactive Theorem Assistant for Learning Calculational Logic in the style of "A Logical Approach to Discrete Math".

Federico Flaviani, Soraya Carrasquel, David Coronado

Browse the full CLEI paper archive.