Formalized Mathematics

Editor-in-Chief
Prof. Cezary Kaliszyk, The University of Melbourne, Australia

Honorary Board

• William W. Armstrong, University of Alberta, Canada,
• Robert S. Boyer, University of Texas at Austin, USA,
• Fairouz Kamareddine, Heriot-Watt University, UK,
• Michael Kohlhase, Friedrich-Alexander-University, Erlangen-Nuremberg, Germany

Editorial Board

• Cezary Kaliszyk, University of Melbourne, Australia,
  Thematic Editor - Automated Reasoning
• John Harrison, Amazon Web Services, Portland, USA,
  Thematic Editor - Computer Science
• Krystyna Kuperberg, Auburn University, USA,
  Thematic Editor - Mathematics
• Jesse Alama, Stanford University, USA,
• Andrej Bauer, University of Ljubljana, Slovenia,
• Czeslaw Bylinski, Association of Mizar Users, Japan,
• Noboru Endou, Gifu National College of Technology, Japan,
• Pawel Gburzynski, University of Alberta, Canada,
• Adam Grabowski, University of Bialystok, Poland,
• Klaus Grue, University of Copenhagen, Denmark,
• Pauline N. Kawamoto, Shinshu University, Japan,
• Artur Kornilowicz, University of Bialystok, Poland,
• John Mayer, University of Alabama at Birmingham, USA,
• Adam Naumowicz, University of Bialystok, Poland,
• Alexander Shibakov, Tennessee Tech University, USA,
• Yasunari Shidama, Shinshu University, Japan,
• Pawel Stacewicz, Warsaw Uniwersity of Technology, Poland,
• Geoff Sutcliffe, University of Miami, USA

Contact to Managing Editor
Roman Matuszewski
University of Bialystok
Faculty of Comuter Science
ul. Ciolkowskiego 1 M, room 2021
15-245 Białystok
Poland
mobile: +48 603 491 986
e-mail: romat@mizar.org

Sciendo, a part of Paradigm Publishing Services