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