@misc{indiciae8618dd3d44cc,
  title = {Theory Plug-in for Rodin 3.x},
  author = {T. S. Hoang and L. Voisin and A. Salehi and M. Butler and T. Wilkinson and N. Beauger},
  year = {2017},
  url = {https://arxiv.org/abs/1701.08625},
  note = {Source identifier: 1701.08625}
}