project taken

co-dan · co-dan · commit d913cc24be9b · 2026-02-02T22:04:37.000+01:00
diff --git a/_data/projects.json b/_data/projects.json
@@ -380,7 +380,7 @@ Primary reading:
 ",
         "tags": ["type theory", "logic"],
         "category": "BSc",
-        "available": 1
+        "available": 0
     },
 
 
