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
Caprotti, Olga; Oostdijk, Martijn Formal and efficient primality proofs by use of computer algebra oracles. (English) Zbl 1044.03503 J. Symb. Comput. 32, No. 1-2, 55-70 (2001). MSC: 03B35 11Y11 68W30 68T15 94A60 PDFBibTeX XMLCite \textit{O. Caprotti} and \textit{M. Oostdijk}, J. Symb. Comput. 32, No. 1--2, 55--70 (2001; Zbl 1044.03503) Full Text: DOI