On Fri, Mar 13, 2020 at 1:38 AM Samuel Falvo II <[email protected]> wrote:
> Congrats!! thanks sam (and adrienne, and hector) > I won't be able to focus on it, unfortunately. that's ok. that you taught us the value of formal mathematical proofs for HDL unit tests is an incredibly valuable contribution in itself that's saving us a vast amount of time and effort, allowing us to focus NLNet's funds much more effectively. warmly, l. _______________________________________________ libreplanet-discuss mailing list [email protected] https://lists.libreplanet.org/mailman/listinfo/libreplanet-discuss
