add LeaN in LyoN

Author: faenuccio

data/events.yaml

@@ -20,6 +20,13 @@
   location: Providence, RI, USA
   type: tutorial
 
+- title: LeaN in LyoN 
+  url: https://www.univ-st-etienne.fr/lean-in-lyon.html
+  start_date: May 10 2022
+  end_date: May 10 2022 
+  location: Lyon, France
+  type: workshop
+
 - title: Machine-Checked Mathematics 
   url: https://lean-forward.github.io/lorentz-center-meeting/ 
   start_date: March 2 2022