Acciones

Información de «Tema 7: Definiciones inductivas en Coq»

Información básica

Título visualizadoTema 7: Definiciones inductivas en Coq
Criterio de ordenación predeterminadoTema 7: Definiciones inductivas en Coq
Longitud de la página (en bytes)18 128
Identificador de la página47
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ágina15:08 14 feb 2019
Último editorJalonso (discusión | contribuciones)
Fecha de la última edición15:08 14 feb 2019
Número total de ediciones2
Número total de autores distintos1
Número de ediciones recientes (en los últimos 90 días)0
Número de autores distintos recientes0