3 Individual Contributor.
5 ## Handy Things to Know
7 - [Notes on Formal Proofs.](/Documentation/notes_on_formal_proofs)
11 Move things along from one stage to the next.
13 ## Currently working on
15 - <https://bugs.libre-soc.org/show_bug.cgi?id=418> SPR pipeline formal correctness proof needed
17 ## Completed but not yet submitted:
19 ## Submitted for NLNet RFP
21 Submitted but not confirmed paid:
25 Donation from NLNet confirmed received: