Formalized Mathematics is issued quarterly and publishes papers which are "abstracts" of Mizar articles contributed to the Mizar Mathematical Library (MML). Mathematical Proof-Checked Journal - all papers are checked by the Mizar System - computer-checked mathematics.
- Pioneering Journal in the field of formalized and mechanically checked mathematics.
- The oldest journal in the field, a medium for the publication of research reporting pioneering findings of broad mathematical significance that are likely to advance the direction and thinking of the field.
- Long-term experience in publishing original articles on mechanizing mathematics and various aspects of automated reasoning, since 1990.
- New publishing technology: articles automatically translated from a formal language into English and automatically typeset, available in both forms - electronic and printed.
Redaktor naczelny: Roman Matuszewski
Rada naukowa: Jesse Alama (Stanford University), William W. Armstrong (University of Alberta), Robert S. Boyer (University of Texas), Czeslaw Bylinski (Uniwersytet w Białymstoku), Marco Caminati (Sapienza University of Rome), Adam Grabowski (Uniwersytet w Białymstoku), Klaus Grue (University of Copenhagen), John Harrison (Intel Corporation), Fairouz Kamareddine (Heriot-Watt University), Pauline N. Kawamoto (Shinshu University), Michael Kohlhase (Jacobs University), Artur Kornilowicz (Uniwersytet w Białymstoku), Krystyna Kuperberg (Auburn University), Xiquan Liang (Qingdao University of Science and Technology), Yatsuka Nakamura (Shinshu University), Adam Naumowicz (Uniwersytet w Białymstoku), Marco Riccardi (Montignoso), Piotr Rudnicki (Alberta University), Christoph Schwarzweller (Uniwersytet Gdański), Alexander Shibakov (Tennessee Tech University), Yasunari Shidama (Shinshu University), Andrzej Trybulec (Uniwersytet w Białymstoku), Josef Urban (Radboud University), Katsumi Wasaki (Shinshu University), Freek Wiedijk (Radboud University).