[libre-riscv-dev] [Libre-silicon-devel] NLNet Funding Proposals for the Libre RISC-V SoC: call for participation

Luke Kenneth Casson Leighton lkcl at lkcl.net
Tue Sep 24 12:17:18 BST 2019

hagen, i forgot to ask: would you be happy to be the "point contact"
on the formal-proofs submission?  remember that there's no contractual
obligation, here.


More information about the libre-riscv-dev mailing list