Lista de archivos
Esta página especial muestra todos los archivos subidos.
Fecha | Nombre | Miniatura | Tamaño | Usuario | Descripción | Versiones |
---|---|---|---|---|---|---|
13:00 20 ago 2018 | T6 Logica.v (archivo) | 168 KB | Jalonso | 1 | ||
09:49 12 ago 2018 | T5 Tacticas.v (archivo) | 109 KB | Jalonso | 1 | ||
17:36 4 ago 2018 | T4 PolimorfismoyOS.v (archivo) | 53 KB | Jalonso | 1 | ||
12:47 3 ago 2018 | T3 Listas.v (archivo) | 63 KB | Jalonso | 1 | ||
15:07 31 jul 2018 | T1 PF en Coq.v (archivo) | 35 KB | Jalonso | 3 | ||
15:06 31 jul 2018 | T2 Induccion.v (archivo) | 32 KB | Jalonso | 1 |