From 0c29e624873e5087ecdd940368312fa87b85ac9a Mon Sep 17 00:00:00 2001
From: Takuto ASAKURA <wtsnjp@gmail.com>
Date: Thu, 28 Apr 2022 21:54:41 +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 8fbb7f1..a834782 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 | TBA |
+|2022-05-02| Kensho Tsurusaki | Literate programming in Lean theorem prover |
 |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