Salut à tous,est-il possible d'obtenir des représentations graphiques et d'utiliser l'"hyperdoc", tous deux décrits dans la doc, avec axiom ??
Je me demande si dans l'état actuel, ces possibilités ont bien été portées sous debian, car je n'arrive à rien.
Merci d'avance.