update courses to new versions

data/courses.yaml

@@ -388,8 +388,8 @@
   instructor: Robert Y. Lewis
   institution: Brown University
   website: https://browncs1951x.github.io/
-  material: https://lean-forward.github.io/hitchhikers-guide/2023/
-  repo: https://github.com/BrownCS1951x/fpv2023
+  material: https://lean-forward.github.io/hitchhikers-guide/2024/
+  repo: https://github.com/BrownCS1951x/fpv2024
   tags: ['logic', 'computer science', 'advanced']
   lean_version: 4
   summary: >
@@ -398,16 +398,16 @@
     and logical foundations. The course is based on Jasmin Blanchette's course Logical Verification and uses the
     Hitchhiker's Guide to Logical Verification as a reference.
   experiences: >
-    I have taught this course three times at Brown and it has proven to be quite popular, attracting a mixed audience
+    I have taught this course four times at Brown and it has proven to be quite popular, attracting a mixed audience
     of people interested in math/logic, PL research, and functional programming. Final projects have included a verified
     executable DPLL SAT solver; the mathlib tactic `linear_combination` and initial work toward `polyrith` explorations
-    of axiomatic ZFC, linear algebra, and other mathematical topics; and more.
-  year: 2023
+    of axiomatic ZFC, linear algebra, and other mathematical topics; formalization of domain theory; and more.
+  year: 2024
 - name: Discrete Structures and Probability
   instructor: Robert Y. Lewis
   institution: Brown University
   website: https://cs22.io/
-  repo: https://github.com/brown-cs22/CS22-Lean-2023
+  repo: https://github.com/brown-cs22/CS22-Lean-2024
   lean_version: 4
   tags: ['intro to proof', 'computer science']
   summary: >
@@ -420,7 +420,7 @@
     Students' ability to translate between formal and informal statements was significantly improved over the year before.
     I leaned heavily on the terminology "context," "hypothesis," and "goal" (inspired by the Lean infoview) and there
     were clear signs that this structure was influencing students' approaches to informal proofs.
-  year: 2023
+  year: 2024
 - name: Graduate Introduction to Logic
   instructor: Bjørn Kjos-Hanssen
   institution: University of Hawaii at Manoa