TY  - GEN
AU  - Bancerek,Grzegorz
AU  - Byliński,Czesław
AU  - Grabowski,Adam
AU  - Korniłowicz,Artur
AU  - Matuszewski,Roman
AU  - Naumowicz,Adam
AU  - Pąk,Karol
TI  - The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar
SN  - 1573-0670
PY  - 2018///
PB  - Journal of automated reasoning
N1  - Publication Type: Journal Article
UR  - https://doi.org/10.1007/s10817-017-9440-6
ER  -