-

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).

References