Federico Flaviani, Soraya Carrasquel, David Coronado. Interactive Theorem Assistant for Learning Calculational Logic in the style of "A Logical Approach to Discrete Math". In LI Latin American Computer Conference, CLEI 2025, Valparaíso, Chile, October 27-31, 2025. pages 1-9, IEEE, 2025. [doi]
Abstract is missing.