fix tag

leanprover-community · Oct 18, 2023 · 2c8dfcb · 2c8dfcb
1 parent 188323a
commit 2c8dfcb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/data/courses.yaml b/data/courses.yaml
@@ -243,7 +243,7 @@
   institution: Vrije Universiteit Amsterdam
   website: https://studiegids.vu.nl/en/2022-2023/courses/X_401015
   material: https://leanprover.github.io/logic_and_proof/logic_and_proof.pdf
-  tags: ['introduction to proof', 'logic', 'computer science']
+  tags: ['intro to proof', 'logic', 'computer science']
   lean_version: 3
   summary: >
     This course introduces computer science students to propositional logic, predicate logic and modal logic.