Bancerek, Grzegorz <br/><br/>
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar.  [electronic resource] 

 -  Journal of automated reasoning  2018 
 - 9-32 p.  digital 
<br/><br/> Publication Type: Journal Article 
<br/><br/><label>ISSN: </label>1573-0670 
<br/><br/><label>Standard No.: </label>10.1007/s10817-017-9440-6  doi