Semantics of Mizar as an Isabelle Object Logic

Cezary Kaliszyk, Karol Pąk
Journal of Automated Reasoning  pp. 1 – 39, 2018.

abstract   BibTeX   PDF   doi:10.1007/s10817-018-9479-z