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

[Luke Kenneth Casson Leighton]

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.

l.