Je me répond à moi même, ça peut toujours servir à qqun.
J'ai trouvé la grammaire ocamlyacc traduite à partir du code donné plus haut dans le code source de why/caduceus un outil de preuve fonctionnant avec coq ( http://coq.inria.fr(...) )
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
# Merci Why/caduceus
Posté par Ontologia (site web personnel) . En réponse au message Caml, Yacc, OcamlYacc. Évalué à 3.
J'ai trouvé la grammaire ocamlyacc traduite à partir du code donné plus haut dans le code source de why/caduceus un outil de preuve fonctionnant avec coq ( http://coq.inria.fr(...) )
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker