AUTHORS 462 Bytes
Newer Older
Andrei Paskevich's avatar
Andrei Paskevich committed
1 2 3 4 5 6 7 8 9 10
The Why3 Verification Platform is developed by

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

with contributions of

MARCHE Claude's avatar
MARCHE Claude committed
11
    Stefan Berghofer
Andrei Paskevich's avatar
Andrei Paskevich committed
12
    Sylvie Boldo
MARCHE Claude's avatar
MARCHE Claude committed
13
    Martin Clochard
Andrei Paskevich's avatar
Andrei Paskevich committed
14 15
    Simon Cruanes
    Leon Gondelman
16
    Daisuke Ishii
Andrei Paskevich's avatar
Andrei Paskevich committed
17 18 19 20 21
    Johannes Kanig
    David Mentré
    Benjamin Monate
    Thi-Minh-Tuyen Nguyen
    Simão Melo de Sousa
MARCHE Claude's avatar
MARCHE Claude committed
22 23
    Asma Tafat
    Piotr Trojanek
24
    Makarius Wenzel