Home My Page Projects Why3
Summary Activity Tracker Lists SCM Files

Project Member List

If you would like to contribute to this project by becoming a member, contact one of the project admins, designated in bold text below.

Developer Summary Open Date Last Modified
Claude Marché Contact Claude Marché Admin
Bugs 20881 Alt-Ergo driver: File generation failure with polymorphism and maps 49 Months Ago 49 Months Ago
Bugs 18029 Why3 silently forget unknown transformations when reading sessions 74 Months Ago 74 Months Ago
Feature Requests 15244 Realization of C axiomatics 95 Months Ago 91 Months Ago
Jean-Christophe Filliâtre Contact Jean-Christophe Filliâtre Admin
Andrei Paskevich Contact Andrei Paskevich Admin
Bugs 18953 The prefix form of <> is not parsed correctly 66 Months Ago 66 Months Ago
Bugs 17184 clone substitute program type to logic type 79 Months Ago 66 Months Ago
Guillaume Melquiond Contact Guillaume Melquiond Admin
Bugs 15594 name generation for coq files 92 Months Ago 92 Months Ago
Benjamin Monate Contact Benjamin Monate Senior Developer
Germain Faure Contact Germain Faure Senior Developer
Simão Melo de Sousa Contact Simão Melo de Sousa Senior Developer
Clément Fumex Contact Clément Fumex Senior Developer
David Hauzar Contact David Hauzar Senior Developer
Kim Nguyen Contact Kim Nguyen Senior Developer
Sylvain Dailler Contact Sylvain Dailler Senior Developer
Arthur Charguéraud Contact Arthur Charguéraud Senior Developer
Johannes Kanig Contact Johannes Kanig Junior Developer
Francois Bobot Contact Francois Bobot Junior Developer
Asma Tafat Contact Asma Tafat Junior Developer
Thi Minh Tuyen Nguyen Contact Thi Minh Tuyen Nguyen Junior Developer
Leéon Gondelman Contact Leéon Gondelman Junior Developer
Daisuke Ishii Contact Daisuke Ishii Junior Developer
Martin Clochard Contact Martin Clochard Junior Developer
Mário Pereira Contact Mário Pereira Junior Developer
Ran CHEN Contact Ran CHEN Junior Developer
Lucas Baudin Contact Lucas Baudin Junior Developer
Raphaël Rieu-Helft Contact Raphaël Rieu-Helft Junior Developer