Parcoursup
- Description
- Implémentation de référence WhyML des algorithmes de Parcoursup, et preuve formelle de leurs propriétés.
- Domaines d'utilisation
- vérification automatique
- Contributeurs LaBRI
- Hugo Gimbert, Gérald Point, Pierre Castéran
- Dépôt du code source
- https://gitub.u-bordeaux.fr/parcoursup/why3
- OS supportés
- Linux, MacOS, Windows
- Plus d'informations
- https://gitub.u-bordeaux.fr/parcoursup/why3