From 1267a00d7f6ff30ca6b4e006e9bee880a529cab2 Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Wed, 13 Aug 2025 22:25:16 -0700 Subject: [PATCH] note grant was approved by NLnet --- src/grants/nlnet-first.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/grants/nlnet-first.md b/src/grants/nlnet-first.md index 556604a..404f0e6 100644 --- a/src/grants/nlnet-first.md +++ b/src/grants/nlnet-first.md @@ -1,5 +1,7 @@ # First NLNet Grant Proposal -- First CPU Architecture And Formal Proof of No Spectre bugs -- 2024-12-324 +(Edit: [approved by NLnet](https://nlnet.nl/project/Libre-Chip-proof/)) + Project Name: Libre-Chip's First CPU Architecture And Formal Proof of No Spectre bugs Website/Wiki: