diff --git a/src/grants/nlnet-first.md b/src/grants/nlnet-first.md index 4c7fd51..f4003c1 100644 --- a/src/grants/nlnet-first.md +++ b/src/grants/nlnet-first.md @@ -60,3 +60,5 @@ It is expected that automated formal proof software (stuff like SMT solvers such ## Ecosystem TODO + +TODO European dimension? benefits people everywhere by having CPUs with better security, including Europeans.