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.

The journal is abstracted and indexed in Scopus, MathSciNet, and Zentralblatt MATH.

This article about a computer science journal is a stub.

You can help Wikipedia by expanding it.See tips for writing articles about academic journals.