collaborators

1 paper

math.HO2025

Teaching "Foundations of Mathematics" with the Lean Theorem Prover

Mattia Luciano Bottoni, Alberto S. Cattaneo, Elif Sacikara

This study aims to observe if the theorem prover Lean positively influences students' understanding of mathematical proving. To this end, we perform a pilot study concerning freshm…