[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
More information about the libre-riscv-dev