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

[Luke Kenneth Casson Leighton]

hi, all,

we have some new people who will be part of the formal mathematical
proof team, Bartek, Julius and Maciej.  they are all mathematicians,
and i will leave it to them to introduce themselves.  with thanks to
my brother dan for helping find them :)

we're going to start off with this bugreport to get them started:
http://bugs.libre-riscv.org/show_bug.cgi?id=151

samuel if you are still around, i'm using your code as a really really
good example :)

welcome,

l.