Merge commit 'a17fd58e9f122d12de7d8e9494339114d9456937'

oliver-butterley · Jan 9, 2024 · 9b0a745 · 9b0a745
2 parents 55ee2e9 + a17fd58
commit 9b0a745
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/package-lock.json b/package-lock.json
diff --git a/site/info.md b/site/info.md
@@ -127,8 +127,8 @@ Contact [Oliver Butterley](https://www.mat.uniroma2.it/butterley/) or another of
     },
     {
       speaker: "Gihan Marasingha",
-      title: "Title: TBA",
-      abstract: "Abstract: TBA",
+      title: "Title: The benefits and challenges of teaching proof with Lean",
+      abstract: "Abstract: This presentation will explore the pivotal role of the Lean in enhancing first-year undergraduates' understanding of mathematical proofs. I will share insights from my experiences and initial educational research on teaching a large first-year undergraduate cohort with Lean, focusing on how this tool can significantly impact student perception of proofs. Additionally, I will address the challenges encountered in teaching with Lean and the implications for learning and comprehension.",
       time: "Thu 25/01/2024, 14:30-15:30"
     },
     {