# Samuel A. Falvo II

Individual Contributor.

## Handy Things to Know

- [Notes on Formal Proofs.](/Documentation/notes_on_formal_proofs.mdwn)

# Status tracking

Move things along from one stage to the next.

## Currently working on

 - <https://bugs.libre-soc.org/show_bug.cgi?id=418> SPR pipeline formal correctness proof needed

## Completed but not yet submitted:

## Submitted for NLNet RFP

Submitted but not confirmed paid:

## Paid

Donation from NLNet confirmed received: