Items where Author is "Hanna, Gila"

Item Type No Grouping

Using the proof assistant Lean in undergraduate mathematics classrooms. (2024) Gila Hanna, Brendan Larvor and Xiaoheng Yan

Human-Machine Collaboration in the Teaching of Proof. (2023) Gila Hanna, Brendan Larvor and Xiaoheng Yan

As Thurston says? : On using quotations from famous mathematicians to make points about philosophy and education. (2020) Gila Hanna and Brendan Larvor