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 Engineer, AdaCore <https://www.adacore.com/>
_______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club