project taken JP

japerezp · web-flow · commit d2ecf7980764 · 2026-02-05T11:23:43.000+01:00
diff --git a/_data/projects.json b/_data/projects.json
@@ -434,7 +434,7 @@ A written report, in the style of a scientific paper, that presents your verifie
 ",
         "tags": ["concurrency", "type theory", "formal verification"],
         "category": "BSc",
-        "available": 1
+        "available": 0
     },
 
     {

Original file line number	Diff line number	Diff line change
`@@ -434,7 +434,7 @@ A written report, in the style of a scientific paper, that presents your verifie`
`434`	`434`	`",`
`435`	`435`	`"tags": ["concurrency", "type theory", "formal verification"],`
`436`	`436`	`"category": "BSc",`
`437`		`- "available": 1`
	`437`	`+ "available": 0`
`438`	`438`	`},`
`439`	`439`
`440`	`440`	`{`