Update courses.yaml (#385)

data/courses.yaml

@@ -18,6 +18,15 @@
 # 
 # This list is not ordered. Add new entries wherever you want.
 
+- name: Démontrer avec un ordinateur
+  instructor: Riccardo Brasca and Antoine Chambert-Loir
+  institution: Université Paris Cité, France
+  website: https://moodle.u-paris.fr/course/view.php?id=41914
+  lean_version: 4
+  tags: ['French', 'intro to proof', 'mathematics']
+  summary: >
+    The goal of the course is to teach the basics of Lean to first year undergraduate students in a double major program in mathematics and computer science.
+  year: 2024
 - name: Some high-school mathematics in Lean
   instructor: Peter Pfaffelhuber
   institution: University of Freiburg, Germany