Journal of Formalized Reasoning

{{Infobox journal

| title = Journal of Formalized Reasoning

| cover =

| abbreviation = J. Formaliz. Reason.

| discipline = Mathematical formalization

| editor = Andrea Asperti

| publisher = University of Bologna

| country = Italy

| history = 2008–present

| frequency = Biannual

| openaccess = Yes

| license =

| website = http://jfr.unibo.it

| link1 = http://jfr.unibo.it/index

| link1-name = Online access

| link2= http://jfr.unibo.it/issue/archive

| link2-name = Online archive

| ISSN = 1972-5787

| OCLC = 456198191

}}

The Journal of Formalized Reasoning is a peer-reviewed open access academic journal established in 2009. It publishes formalization efforts in any area, including classical mathematics, constructive mathematics, formal algorithms, and program verifications. It is maintained by AlmaDL, the digital library of the University of Bologna.