ES_46_RV6NO CERTIFICADOLean: COMPILA; TRADUCCION PARCIALProlog: ARBOL INCOMPLETOAuditoría: REQUIERE_REVISIONDOCUMENTO 46 — REVISIÓN 6Documento publicado para examen. La compilación y el árbol no certifican la verdad de sus afirmaciones. PDFMDJSONADECEvaluación LeanVeredicto JSONSalida LeanCódigo LeanEvaluación PrologProlog JSONSalida PrologCódigo PrologAuditoría finalAuditoría JSONSalida auditoríaEntrar al proyecto →
