@misc{indiciae1e1d83d3225a,
  title = {Comparison of Two Theorem Provers: Isabelle/HOL and Coq},
  author = {Artem Yushkovskiy},
  year = {2018},
  url = {https://arxiv.org/abs/1808.09701},
  note = {Source identifier: 1808.09701}
}