FMM 2019: Formal Mathematics for Mathematicians
                        Preface

                                                         Karol Pąk
                                                Institute of Informatics
                                             University of Białystok, Poland
                                                 pakkarol@uwb.edu.pl


   This volume contains the papers presented at the 4th FMM Workshop affiliated with CICM 2019 that took
place on July 8, 2019 in Prague.
   The workshop series allows mathematicians interested in computer assistance and researchers in formal and
computer-understandable mathematics to meet and exchange ideas. The meeting provides a platform for dis-
cussion of suitable forms of computer assistance between the formal community and interested mathematicians
and other researchers.
   The workshop started with the invited talk of Chad E. Brown: Higher-Order Logic and Set Theory: Stronger
Together. Six contributed papers have been reviewed by at least two program committee members and obtain
the average 2.1. The committee decided to accept all papers.




Copyright © by the paper’s authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).
In: C. Kaliszyk, E. Brady, J. Davenport, W.M. Farmer, A. Kohlhase, M. Kohlhase, D. Müller, K. Pąk, and C. Sacerdoti Coen (eds.):
Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent
Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019), Prague,
Czech Republic, July 8–12, 2019, published at http://ceur-ws.org