Ce projet vise à concevoir et à mettre en œuvre une nouvelle bibliothèque standard pour Coq, en adoptant une approche sans compatibilité avec la bibliothèque actuelle, qui sera maintenue séparément. Il est organisé en plusieurs phases, dont le nettoyage et l'infrastructure, l'implémentation de la préliminaire et des tactiques de base, l'amélioration du cœur de la bibliothèque, la première version, l'implémentation des premiers composants de la bibliothèque et les extensions de la bibliothèque.