Autoria
Athina Thoma
1 obra na Biblioteca
Sem ORCID nas fontes: homônimos só são reunidos quando há coautoria ou afiliação em comum.
Obras na Biblioteca
-
'It Feels Like Sort of Cheating in Some Ways That You Don't Fully Show That You've Understood the Proofs': Mathematics Students Coding Proofs with an Interactive Theorem Prover
Digital Experiences in Mathematics Education