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.
F
Flocq
Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.