Acciones

Información de «Razonamiento sobre programas en Isabelle/HOL»

Información básica

Título visualizadoRazonamiento sobre programas en Isabelle/HOL
Criterio de ordenación predeterminadoRazonamiento sobre programas en Isabelle/HOL
Longitud de la página (en bytes)37 259
Identificador de la página8
Idioma de la páginaes - español
Modelo de contenido de la páginatexto wiki
Indización por robotsPermitido
Número de redirecciones a esta página0

Protección de página

EditarSolo administradores (infinito)
TrasladarSolo administradores (infinito)

Historial de ediciones

Creador de la páginaJalonso (discusión | contribuciones)
Fecha de creación de la página12:04 7 feb 2019
Último editorJalonso (discusión | contribuciones)
Fecha de la última edición06:20 16 abr 2020
Número total de ediciones8
Número total de autores distintos2
Número de ediciones recientes (en los últimos 90 días)0
Número de autores distintos recientes0