Le dimostrazioni sono il cuore della matematica, ma insegnarle a scuola è una sfida complessa. OILER, una piattaforma online dedicata alla didattica della logica, propone un percorso che parte dai giochi e dalle strategie vincenti per guidare studenti e studentesse a riconoscere la correttezza delle dimostrazioni e a costruirne di nuove. Questo articolo è stato scritto da Luigi Bernardi.