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

[Luke Kenneth Casson Leighton]

On Tue, Sep 24, 2019 at 12:17 PM Luke Kenneth Casson Leighton
<lkcl at lkcl.net> wrote:
>
> 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.

oh, sorry, i meant hendrik!