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
    Sylvain Dailler
    Clément Fumex
    Léon Gondelman
    David Hauzar
    Daisuke Ishii
    Johannes Kanig
    Mikhail Mandrykin
    David Mentré
    Benjamin Monate
    Kim Nguyễn
    Thi-Minh-Tuyen Nguyen
    Mário Pereira
    Raphaël Rieu-Helft
    Simão Melo de Sousa
    Asma Tafat
    Piotr Trojanek
    Makarius Wenzel
