pallas-tutorials

Notoriété 7 %

Ce projet fournit des tutoriels pour aider les utilisateurs à comprendre et à utiliser le projet Pallas et EZTrace. Il contient des instructions détaillées sur la construction d'EZTrace avec Pallas et sur la création d'une trace avec EZTrace et Pallas.

Dépôt de code

https://gitlab.inria.fr/pallas/pallas-tutorials (nouvelle fenêtre)1 étoiles

Cas d'utilisation métiers

Fournir des tutoriels pour le projet Pallas : rechercher des initiatives proches
Faciliter l'utilisation de EZTrace avec Pallas : 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 lundi 18 mars 2024 à 23:29:04

D'autres initiatives de la même organisation

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