Todos los registros públicos

Vista combinada de todos los registros de Razonamiento automático (2019-20). Puedes filtrar la vista seleccionando un tipo de registro, el nombre del usuario o la página afectada. Se distinguen mayúsculas de minúsculas.

• 13:58 26 jul 2021 Jalonso discusión contribs. borró la página Relación 8 (el contenido era: «<source lang="isabelle"> chapter ‹R8: Formalización y argumentación con Isabelle/HOL› theory R8_Formalizacion_y_argmentacion imports Main begin text ‹------------------------------------------------------------------ El objetivo de esta es relación formalizar y decidir automáticamente (con auto, blast, metis, meson o quickcheck) la corrección de los argumentos. Para comprobar las formalizaciones, en cada ejercicios se indica su posición en APLI2…»)