Cezary Kaliszyk, Karol Pak. Progress in the Independent Certification of Mizar Mathematical Library in Isabelle. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, September 3-6, 2017. pages 227-236, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.