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

• 12:23 29 abr 2015 Mjoseh (discusión | contribuciones) subió Archivo:ResolucionProposicional.hs
• 12:23 29 abr 2015 Mjoseh (discusión | contribuciones) subió Archivo:Clausulas.hs
• 10:02 17 abr 2015 Mjoseh (discusión | contribuciones) subió Archivo:FormasNormales.hs
• 17:05 8 abr 2015 Mjoseh (discusión | contribuciones) subió Archivo:TablerosSemanticos.hs
• 11:37 13 feb 2015 Mjoseh (discusión | contribuciones) subió Archivo:SintaxisSemantica.hs
• 13:18 9 feb 2015 Mjoseh (discusión | contribuciones) subió Archivo:Rel 1.hs