The Journal of Formalized Reasoning (JFR) is a free on-line peer-reviewed academic journal publishing significant formalization efforts in any area, including classical mathematics, constructive mathematics, formal algorithms, and program verification.
The Journal of Formalized Reasoning (JFR) is a peer-reviewed open access academic journal established in 2009. It publishes significant formalization efforts in any area, including classical mathematics, constructive mathematics, formal algorithms, and program verification.