Adam Grabowski. Tarski's geometry modelled in Mizar computerized proof assistant. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, FedCSIS 2016, GdaĆsk, Poland, September 11-14, 2016. pages 373-381, 2016. [doi]
Abstract is missing.