installé les outils B sur leur machine (voir commentaires et messages sur ce bloc-notes). Je peux leur fournir des spécifications écrites en B Ascii pour essayer les outils qu'ils ont installés. Me faire signe.
Une fois ces spécs vérifiées (syntaxe, preuve des opérations), on les mettra en ligne dans les pages B de wikipedia.
Inscription à :
Publier les commentaires (Atom)
Aucun commentaire:
Enregistrer un commentaire