Items where Author is "Yan, Xiaoheng"

Number of items: 2.
Article
  • Using the proof assistant Lean in undergraduate mathematics classrooms. (2024) Gila Hanna, Brendan Larvor and Xiaoheng Yan picture_as_pdf
  • Human-Machine Collaboration in the Teaching of Proof. (2023) Gila Hanna, Brendan Larvor and Xiaoheng Yan
    • This list was generated on Sat Jul 18 02:02:30 2026 BST.