Add 2025 Autoformalization for the Working Mathematician at Brown (#589)

Co-authored-by: Rob Lewis <[email protected]>
leanprover-community · Feb 3, 2025 · a06c7f4 · a06c7f4
1 parent 5818b09
commit a06c7f4
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: Autoformalization for the Working Mathematician
+  url: https://icerm.brown.edu/program/hot_topics_workshop/htw-25-aftwm
+  start_date: April 24 2025
+  end_date: April 27 2025
+  location: Providence, RI, USA
+  type: workshop
+
 - title: Interactive Theorem Proving 2025
   url: https://icetcs.github.io/frocos-itp-tableaux25/itp/
   start_date: September 27 2025