Lista de archivos
Esta página especial muestra todos los archivos subidos.
| Fecha | Nombre | Miniatura | Tamaño | Descripción | Versiones |
|---|---|---|---|---|---|
| 10:27 25 mar 2018 | T3 Listas.v (archivo) |  |
38 KB | 1 | |
| 10:26 25 mar 2018 | T2 Induccion.v (archivo) | |
14 KB | 1 | |
| 10:22 25 mar 2018 | T1 PF en Coq.v (archivo) | |
30 KB | 1 |