mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
32 lines
601 B
Plaintext
32 lines
601 B
Plaintext
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
|