congrats Why3 team:
https://systematic-paris-region.org/presse/why3-laureat-du-prix-coup-de-coeur-academique-du-hub-open-source-du-pole-systematic/
well deserved if you ask me. :-)
and I totally approve your choice of funding Wikimedia and Framasoft with
the prize.
--
Yannick Moy
Senior Software
Congrats to the whole Why3 team !!!
This is s well-deserved :-)
Muriel
--
Muriel SHAN SEI FAN, présidente
OCamlPro SAS
https://www.ocamlpro.com/
https://timeline.ocamlpro.com/
On 27/11/2020 14:56, Yannick Moy wrote:
> congrats Why3 team:
> https://systematic-paris-region.org/presse/why3-laur