Federico Flaviani, Jorge Baralt-Torrijos, Soraya Carrasquel, David Coronado. Interactive Theorem Assistant for Learning "A Logical Approach to Discrete Math": Proof Theory and Assessment Experience. CLEI Electron. J., 29(3), 2026. [doi]
Abstract is missing.