[Why3-club] Why3 receives a prize for academic-industrial collaboration

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

Re: [Why3-club] Why3 receives a prize for academic-industrial collaboration

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