Journal of Formalized Reasoning, a free on-line peer-reviewed journal publishing significant formalization efforts