add Lean for Mathematicians event

leanprover-community · Feb 5, 2025 · ac1f141 · ac1f141
1 parent 7ed5625
commit ac1f141
Showing 1 changed file with 7 additions and 0 deletions.
diff --git 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