@inproceedings{Kaliszyk_2017,
    doi = {10.15439/2017f289},
    url = {https://doi.org/10.15439%2F2017f289},
    year = {2017},
    month = {sep},
    publisher = {{IEEE}},
    author = {Cezary Kaliszyk and Karol P{\k{a}}k},
    title = {Progress in the Independent Certification of Mizar Mathematical Library in Isabelle},
    booktitle = {Proceedings of the 2017 Federated Conference on Computer Science and Information Systems}
}

@inproceedings{Kaliszyk_2017, doi = {10.15439/2017f289}, url = {https://doi.org/10.15439%2F2017f289}, year = {2017}, month = {sep}, publisher = {{IEEE}}, author = {Cezary Kaliszyk and Karol P{\k{a}}k}, title = {Progress in the Independent Certification of Mizar Mathematical Library in Isabelle}, booktitle = {Proceedings of the 2017 Federated Conference on Computer Science and Information Systems} }