AUTHORS

The Why3 Verification Platform is developed by

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

with contributions of

    Sylvie Boldo
    Simon Cruanes
    Leon Gondelman
    Johannes Kanig
    David Mentré
    Benjamin Monate
    Thi-Minh-Tuyen Nguyen
    Simão Melo de Sousa
    Asma Tafat-Bouzid