The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar
Crossref DOI link: https://doi.org/10.1007/s10817-017-9440-6
Published Online: 2017-11-25
Published Print: 2018-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bancerek, Grzegorz
Byliński, Czesław
Grabowski, Adam
Korniłowicz, Artur
Matuszewski, Roman
Naumowicz, Adam
Pąk, Karol
License valid from 2017-11-25