Journal of Formalized Reasoning
|Journal of Formalized Reasoning|
Abbreviated title (ISO 4)
|J. Form. Reason.|
|Edited by||Andrea Asperti|
University of Bologna (Italy)
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.