@misc{indiciae588099815dcd,
  title = {GeoLogic -- Graphical interactive theorem prover for Euclidean geometry},
  author = {Miroslav Olšák},
  year = {2020},
  url = {https://arxiv.org/abs/2005.03586},
  note = {Source identifier: 2005.03586}
}