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: