A Student Model for Teaching Natural Deduction Based on a Prover That Mimics Student Reasoning.

Joo Carlos Gluz, Fabiane Penteado, Marcel Mossmann, Lucas Gomes, Rosa Vicari

Browse the full ITS paper archive.