@misc{indiciae1b62ce776ae4,
  title = {Towards Evolutionary Theorem Proving for Isabelle/HOL},
  author = {Yutaka Nagashima},
  year = {2019},
  url = {https://arxiv.org/abs/1904.08468},
  note = {Source identifier: 1904.08468}
}