The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. - Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol (Journal of Automated Reasoning, 2018)