CalcLogic: Functional Implementation of an Interactive Proof Assistant for Dijkstra-Scholten Calculational Logic. - Federico Flaviani; Leonardo López; Ronald Becerra; Jorge Baralt-Torrijos (CLEI, 2025)