diff --git a/2025/README.md b/2025/README.md
index ecef685..1b02994 100644
--- a/2025/README.md
+++ b/2025/README.md
@@ -16,6 +16,7 @@ Talks given and offers of talks for 2025. Please PR with your slides or talk off
 
 ## May
  - Thomas Sewell: Functional programs and proof tactics
+   - [hastily thrown together slides](tactics-talk.pdf)
 
 ## June
  - Amos Robinson: Fitch-style modal lambda calculi - [summary of Ranald Clouston's paper of the same name](https://arxiv.org/pdf/1710.08326)
diff --git a/2025/tactics-talk.pdf b/2025/tactics-talk.pdf
new file mode 100644
index 0000000..1c6f503
Binary files /dev/null and b/2025/tactics-talk.pdf differ