Formal Mathematics for Mathematicians (FMM)




   The FMM 2018 workshop took place on August 13, 2018. The workshop started with the invited talk of
Angeliki Koutsoukou-Argyraki on the topic of the Alexandria project: Large Scale Formal Proof for the Working
Mathematician. Five contributed papers have been accepted and presented at the workshop. The topics discussed
ranged from the languages and tools used for proof formalization to discussions about individual formalizations.
The presented works covered proof formalization with the well-established proof assistant systems Coq, Isabelle,
Mizar, and SAD as well as a newly developed project called MATh (meta-language for models, algorithms and
theories).




Copyright c by the paper’s authors. Copying permitted for private and academic purposes.
In: O. Hasan, C. Kaliszyk, A. Naumowicz (eds.): Proceedings of the Workshop Formal Mathematics for Mathematicians (FMM),
Hagenberg, Austria, 13-Aug-2018, published at http://ceur-ws.org