Merge pull request #571 from Nikil-Shyamsunder/2025fa

sampsyo · web-flow · commit 815dc5251209 · 2025-08-30T13:12:44.000-04:00
add nikil shyamsunder to discussion
diff --git a/data/content.toml b/data/content.toml
@@ -53,7 +53,7 @@ lesson = 7
 
 [[classes]]
 title = "Automatic Verification"
-leader = "TBD"
+leader = "Nikil Shyamsunder"
 readings = ["alive"]
 
 
