@misc{indiciaeea54b3e333c1,
  title = {Designing Game of Theorems},
  author = {Yutaka Nagashima},
  year = {2019},
  url = {https://arxiv.org/abs/1906.08549},
  note = {Source identifier: 1906.08549}
}