Duke University course (#542)

Added course description for seminar on Lean at Duke University. --------- Co-authored-by: Bryan Gin-ge Chen <[email protected]>
leanprover-community · Oct 28, 2024 · bedb9c4 · bedb9c4
1 parent 8f28d4b
commit bedb9c4
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/data/courses.yaml b/data/courses.yaml
@@ -17,6 +17,17 @@
 # a general subject (`mathematics`, `logic`, `computer science`).
 #
 # This list is not ordered. Add new entries wherever you want.
+- name: "Formalization of Mathematics: Seminar on the proof assistant Lean"
+  instructor: Stavan Jain, Ricardo Prado Cunha and Anoushka Sinha (supervised by Colleen Robles)
+  institution: Duke University
+  year: 2024
+  lean_version: 4
+  summary: >
+    Students learn to formalize mathematics in Lean, including: implementation of definitions, 
+    encoding propositions, using tactics, and developing mathematics formally.  The seminar follows
+    the first six chapters of MIL, and culminates in a project.
+  tags: ['mathematics', 'beginner']
+  material: https://github.com/leanprover-community/mathematics_in_lean
 - name: "Seminar: Mathematical Information Retrieval (MathIR)"
   instructor: André Greiner-Petter, Moritz Schubotz, Bela Gipp
   institution: University of Göttingen, Germany