Title: The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar
Authors: Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pąk
Journal: Journal of Automated Reasoning
Publication type: article
DOI: 10.1007/s10817-017-9440-6