Rubrique précédente: Supprimer une version préliminaire

Rubrique suivante: Valider un module de logique applicative

Valider des modules de logique applicative

Un module de logique applicative doit être validé pour appliquer sa logique à un calcul métrique.