repo-stable-disabled

Notoriété 10 %

Le projet repo-stable-disabled est une archive de packages Coq, un assistant de dépendances pour les développeurs travaillant avec Coq. Il facilite l'accès aux packages et simplifie la gestion des dépendances pour les utilisateurs.

Dépôt de code

https://github.com/coq/repo-stable-disabled (nouvelle fenêtre)9 étoiles

Cas d'utilisation métiers

Assister les développeurs dans la gestion des dépendances Coq : rechercher des initiatives proches
Fournir une archive de packages Coq : rechercher des initiatives proches

Organisation

Administration centrale
- Gouvernement (Premier ministre et ministères)
  - Ministère de l’Économie, des Finances et de la Souveraineté industrielle, énergétique et numérique
    - Organismes rattachés - Ministère chargé de l'Économie et des Finances et de la Souveraineté industrielle et énergétique
      - Institut national de recherche en informatique et en automatique (organisation rattachée)

Description générée le dimanche 17 mars 2024 à 23:41:37

D'autres initiatives de la même organisation

Insee
insee.fr
Inria
inria.fr
Coq
github.com/coq/coq
Catala
github.com/CatalaLang/catala