Add Leaning In! 2025 (#564)

leanprover-community · Jan 7, 2025 · 07d31ad · 07d31ad
1 parent 2d1a757
commit 07d31ad
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/data/events.yaml b/data/events.yaml
@@ -347,3 +347,10 @@
   url: https://leanprover-community.github.io/lt2025/
   start_date: January 14 2025
   end_date: January 17 2025
+
+- title: "Leaning In! 2025"
+  location: Berlin, DE
+  type: workshop
+  url: https://leaning.in
+  start_date: March 13 2025
+  end_date: March 13 2025