[Libre-soc-dev] payment for formal proofs work

[lkcl]

On February 22, 2022 3:42:06 PM UTC, Samuel Falvo II <sam.falvo at gmail.com> wrote:

>Since I was unable to complete any of my tasks, and proved unable to
>perform the required work in a reasonable amount of time, I'm OK with
>re-allocating those funds for other purposes.

appreciated.  you at least got things started.

>  Spending time to
>precisely dole out fractions of agreement based on commit history
>doesn't seem like a productive use of time.

which is why we don't do that :)

l.