From 50300a597f0f000e33d65b60dee70943e8745d81 Mon Sep 17 00:00:00 2001
From: Takuto ASAKURA <wtsnjp@gmail.com>
Date: Mon, 2 May 2022 21:41:57 +0900
Subject: [PATCH] Update seminar.md

---
 seminar.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/seminar.md b/seminar.md
index 8e6ae38..98843fe 100644
--- a/seminar.md
+++ b/seminar.md
@@ -58,7 +58,7 @@ and a mattermost channel for chat. To join the mattermost channel:
 |Date|Speaker|Title/Topic|
 |----|-------|-----------|
 |2022-05-30 (?) | Dennis Müller/Michael Kohlhase | sTeX 3 – Semantic LaTeX Reimagined |
-|2022-05-02| Kensho Tsurusaki | Literate programming in Lean theorem prover |
+|2022-05-02| Kensho Tsurusaki | Literate programming in Lean theorem prover ([slides](https://docs.google.com/presentation/d/1PIl7VJD7H2ndlCy_uW8yVS7z-nNbbTV8/edit))  |
 |2022-03-21| Deyan Ginev | ar5iv.org – a new preview platform for the arXMLiv dataset |
 |2022-02-07| Deyan Ginev | **rescheduled for March 21** ar5iv.org – a new preview platform for the arXMLiv dataset ([slides](https://prodg.org/talks/ar5iv_launch))|
 |2022-01-10| Abdou Youssef | Machine Learning for Math: Vision and Intermediate Milestones ([slides](/public/slides/2022-01-10-youssef.pdf), [recording](https://www.fau.tv/clip/id/39854)) |
-- 
GitLab