[Libre-soc-dev] payment for formal proofs work
luke.leighton at gmail.com
Tue Feb 22 16:30:46 GMT 2022
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 :)
More information about the Libre-soc-dev