added Grad Course in Lyon (#597)

data/courses.yaml

@@ -17,6 +17,16 @@
 # a general subject (`mathematics`, `logic`, `computer science`).
 #
 # This list is not ordered. Add new entries wherever you want.
+- name: Preuve assistée par ordinateur dans Lean (Assisted proofs in Lean)
+  instructor: Filippo A. E. Nuccio
+  institution: CS/Math Lyon Graduate School, France
+  lean_version: 4
+  tags: ['mathematics']
+  summary: >
+    This is an introduction to formalized mathematics in Lean, addresses at all students of the CS/Math Graduate School in Lyon, assuming no prior knowledge about proof assistants. The whole course lasts 15 hours, split in five 3-hours lectures. Everything is taught in English, the title notwithstanding.
+  website: https://faenuccio-teaching.github.io/GradCourse25/
+  repo : https://github.com/faenuccio-teaching/GradCourse25/tree/master
+  year: 2025
 - name: Semantics and Verification of Software
   instructor: Thomas Noll
   institution: RWTH Aachen University