Adam Naumowicz, Artur Kornilowicz. Introducing Euclidean Relations to Mizar. 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 245-248, 2017. [doi]
Abstract is missing.