fix courses.yaml

leanprover-community · Oct 22, 2023 · 8e491a8 · 8e491a8
1 parent 820e773
commit 8e491a8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/data/courses.yaml b/data/courses.yaml
@@ -314,7 +314,7 @@
     some of which are included at https://github.com/bjoernkjoshanssen/diophantine-lemma
 - name: Programování a dokazování v Leanu
   instructor: Martin Dvorak
-  location: online
+  institution: online
   website: https://mam.mff.cuni.cz/
   repo: https://github.com/madvorak/lean-mam
   tags: ['functional programming', 'intro to proofs']