[libre-riscv-dev] introduction to Formal Mathematical Proof team

[Luke Kenneth Casson Leighton]

On 1/7/20, haael <haael at interia.pl> wrote:
>
> Hello...?

hi bartek, yes you're getting through :)  no spam-classification here...

can you tell us a bit about yourself and the team?

best,

l.