Le registre Docker de Gitlab est désormais activé. Pour l'utiliser dans vos projets : Settings -> General -> Permissions -> Container registry. L'équipe transversale GitLab (SED/SESI/SEISM).

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.