Presentation and Manipulation of Mizar Properties in an Isabelle Object Logic

Cezary Kaliszyk and Karol Pąk
10th International Conference on Intelligent Computer Mathematics, LNCS 10383, pp. 193-207, 2017.

abstract   BibTeX   PDF   doi:10.1007/978-3-319-62075-6_14