From ac1f141367301d20f03953992209e804fa5951a7 Mon Sep 17 00:00:00 2001
From: Rob Lewis <Rob.y.lewis@gmail.com>
Date: Wed, 5 Feb 2025 10:57:21 -0500
Subject: [PATCH] add Lean for Mathematicians event

---
 data/events.yaml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/data/events.yaml b/data/events.yaml
index 904df59c9..da568a135 100644
--- a/data/events.yaml
+++ b/data/events.yaml
@@ -1,3 +1,10 @@
+- title: Lean for Mathematicians
+  url: https://sites.google.com/view/simonsleanworkshop2025
+  start_date: June 16 2025
+  end_date: June 27 2025
+  location: New York, NY, USA
+  type: tutorial
+
 - title: Autoformalization for the Working Mathematician
   url: https://icerm.brown.edu/program/hot_topics_workshop/htw-25-aftwm
   start_date: April 24 2025