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
Published in: Journal of Automated Reasoning
Publication type: article
Subject areas: Computer Science
SJR best quartile: Q2