Debajo se muestra una lista de los últimos archivos subidos. Consulta la galería de archivos nuevos para una presentación más visual.

• 13:00 20 ago 2018 Jalonso (discusión | contribuciones) subió Archivo:T6 Logica.v
• 09:49 12 ago 2018 Jalonso (discusión | contribuciones) subió Archivo:T5 Tacticas.v
• 17:36 4 ago 2018 Jalonso (discusión | contribuciones) subió Archivo:T4 PolimorfismoyOS.v
• 12:47 3 ago 2018 Jalonso (discusión | contribuciones) subió Archivo:T3 Listas.v
• 15:07 31 jul 2018 Jalonso (discusión | contribuciones) subió una nueva versión de Archivo:T1 PF en Coq.v
• 15:06 31 jul 2018 Jalonso (discusión | contribuciones) subió Archivo:T2 Induccion.v
• 19:49 28 jul 2018 Jalonso (discusión | contribuciones) subió una nueva versión de Archivo:T1 PF en Coq.v
• 15:32 27 jul 2018 Jalonso (discusión | contribuciones) subió Archivo:T1 PF en Coq.v
• 15:30 27 jul 2018 Jalonso (discusión | contribuciones) subió Archivo:Z.hs
• 15:07 27 jul 2018 Jalonso (discusión | contribuciones) subió Archivo:Jardin.jpg