Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol The role of the Mizar mathematical library for interactive proof development in Mizar. (English) Zbl 1433.68530 J. Autom. Reasoning 61, No. 1-4, 9-32 (2018). MSC: 68V15 68V20 68V30 PDFBibTeX XMLCite \textit{G. Bancerek} et al., J. Autom. Reasoning 61, No. 1--4, 9--32 (2018; Zbl 1433.68530) Full Text: DOI
Korniłowicz, Artur Flexary connectives in Mizar. (English) Zbl 1387.68207 Comput. Lang. Syst. Struct. 44, Part C, 238-250 (2015). MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{A. Korniłowicz}, Comput. Lang. Syst. Struct. 44, Part C, 238--250 (2015; Zbl 1387.68207) Full Text: DOI