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:38 3 may 2016 Mjoseh (discusión | contribuciones) subió Archivo:ResolucionProposicional.hs
• 09:04 29 abr 2016 Mjoseh (discusión | contribuciones) subió Archivo:Clausulas.hs
• 09:04 29 abr 2016 Mjoseh (discusión | contribuciones) subió Archivo:FormasNormales.hs
• 12:49 21 abr 2016 Mjoseh (discusión | contribuciones) subió Archivo:TablerosSemanticos.hs
• 11:00 23 feb 2016 Mjoseh (discusión | contribuciones) subió Archivo:SintaxisSemantica.hs
• 13:09 16 feb 2016 Mjoseh (discusión | contribuciones) subió Archivo:Rel 1.hs