Revista: Journal of Formalized Reasoning
La revista Journal of Formalized Reasoning es una revista libre en la Red sobre el razonamiento formalizado. Como indica en la revista, publica artículos que describan trabajos significativos de formalización, automática o semi-automática, en cualquier área, incluyendo la matemática clásica, matemática constructiva, algoritmos y verificación de programas. El énfasis de la revista está en las técnicas y metodologías de demostración y su impacto en el proceso de formalización. En particular, la revista ofrece un foro para comparar aproximaciones alternativas, mejorando la reutilización de soluciones y ofreciendo una clara visión del estado actual del campo.