project taken

Author: co-dan

_data/projects.json

@@ -310,7 +310,7 @@ Here are some more links that contextualize the project:
 ",
         "tags": ["logic", "functional programming", "formal verification"],
         "category": "BSc",
-        "available": 1
+        "available": 0
     },