Samuel_A_Falvo_II.mdwn

   1 # Samuel A. Falvo II
   2
   3 Individual Contributor.
   4
   5 ## Handy Things to Know
   6
   7 - [Notes on Formal Proofs.](/Documentation/notes_on_formal_proofs.mdwn)
   8
   9 # Status tracking
  10
  11 Move things along from one stage to the next.
  12
  13 ## Currently working on
  14
  15  - <https://bugs.libre-soc.org/show_bug.cgi?id=418> SPR pipeline formal correctness proof needed
  16
  17 ## Completed but not yet submitted:
  18
  19 ## Submitted for NLNet RFP
  20
  21 Submitted but not confirmed paid:
  22
  23 ## Paid
  24
  25 Donation from NLNet confirmed received:
  26