A group is a collection of several projects.
If you organize your projects under a group, it works like a folder.
You can manage your group member’s permissions and access to each project in the group.
Why3
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.