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.