Karol Pak. Mizar Set Comprehension in Isabelle Framework. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Communication Papers of the 2018 Federated Conference on Computer Science and Information Systems, FedCSIS 2018, Poznań, Poland, September 9-12, 2018. pages 23-26, 2018. [doi]
Abstract is missing.