Journal of Formalized Reasoning (JFR) è una rivista peer-reviewed che pubblica articoli riguardanti la formalizzazione in ogni area della matematica, e toccano ambiti come la matematica costruttiva, gli algoritmi.
JFR è nato nel 2008, ed è mantenuto da AlmaDL, biblioteca digitale dell'Università di Bologna.
Comitato editoriale
Collegamenti esterni