Nubo

Notoriété 15 %

Nubo est un référentiel destiné aux développements Dedukti, une plateforme de déduction interactive. Il centralise les métadonnées structurées nécessaires aux développements Dedukti, qui peuvent être traitées par des programmes. Les expressions, modules et bibliothèques Dedukti sont gérés dans ce référentiel.

Dépôt de code

https://github.com/Deducteam/nubo (nouvelle fenêtre)4 étoiles

Cas d'utilisation métiers

Création de modules et de bibliothèques Dedukti : rechercher des initiatives proches
Gestion de métadonnées pour les développements Dedukti : rechercher des initiatives proches
Traduction de preuves formelles : rechercher des initiatives proches

Organisation

Administration centrale
- Gouvernement (Premier ministre et ministères)
  - Ministère de l’Enseignement supérieur, de la Recherche et de l'Espace
    - Établissements d'enseignement supérieur et de recherche - Ministère chargé de l'Enseignement supérieur
      - École normale supérieure Paris-Saclay (organisation rattachée)

Description générée le mardi 19 mars 2024 à 20:00:17

D'autres initiatives de la même organisation

lambdapi
github.com/Deducteam/lambdapi
Logipedia
github.com/Deducteam/Logipedia
Agda2Dedukti
github.com/Deducteam/Agda2Dedukti
Zenon Modulo
github.com/Deducteam/zenon_modulo