Ce dépôt GitHub vise à recueillir vos retours (rapports de bug / remarques / suggestions) sur la plateforme "PFITAXEL" hébergée à l'UPS et basée sur le logiciel libre Learn-OCaml.
Lien direct pour ouvrir une issue (ce qui nécessite de disposer d'un compte GitHub).