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

Jacob Lifshay programmerjake at gmail.com
Tue Feb 22 10:49:31 GMT 2022

I started working on the shift/rotate formal proof again, and noticed you
had done a bunch of work but weren't paid for your work yet, do you want to
get paid for that and the other tasks you worked on (mul formal proof and a
few others)? if so, we can figure out how much is appropriate. you'll want
to submit the requests for payment to nlnet soon, because the nlnet grants
are expiring in a few months.



More information about the Libre-soc-dev mailing list