Parcoursup
- Description
- Reference implementation in WhyML of national algorithms in Parcoursup
- Use cases
- formal methods, social choice
- LaBRI contributors
- Hugo Gimbert, Gérald Point, Pierre Castéran
- Source code depot
- https://gitub.u-bordeaux.fr/parcoursup/why3
- Supported OS
- Linux, MacOS, Windows
- More informations
- https://gitub.u-bordeaux.fr/parcoursup/why3