Karol Pak. Combining the Syntactic and Semantic Representations of Mizar Proofs. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, FedCSIS 2018, PoznaĆ, Poland, September 9-12, 2018. pages 145-153, 2018. [doi]
Abstract is missing.