The Why3 Verification Platform is developed by

    François Bobot
    Jean-Christophe Filliâtre
    Claude Marché
    Guillaume Melquiond
    Andrei Paskevich

with contributions of

    Stefan Berghofer
    Sylvie Boldo
    Martin Clochard
    Simon Cruanes
    Leon Gondelman
    Daisuke Ishii
    Johannes Kanig
    David Mentré
    Benjamin Monate
    Thi-Minh-Tuyen Nguyen
    Simão Melo de Sousa
    Asma Tafat
    Piotr Trojanek
    Makarius Wenzel
