Le projet specificite est une plateforme dédiée à l'analyse et la comparaison de données géographiques et statistiques. Il offre des fonctionnalités de nettoyage et d'organisation de données, permettant une visualisation et une interprétation simplifiées des résultats.

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.