Publication

Number of items: 2.
22 April 2024
  • Using the proof assistant Lean in undergraduate mathematics classrooms. (2024) Gila Hanna, Brendan Larvor and Xiaoheng Yan picture_as_pdf
    • 8 September 2020
  • As Thurston says? : On using quotations from famous mathematicians to make points about philosophy and education. (2020) Gila Hanna and Brendan Larvor
    • This list was generated on Tue Jul 21 03:00:18 2026 BST.