TY  - RPRT
TI  - Theory Plug-in for Rodin 3.x
AU  - T. S. Hoang
AU  - L. Voisin
AU  - A. Salehi
AU  - M. Butler
AU  - T. Wilkinson
AU  - N. Beauger
PY  - 2017
UR  - https://arxiv.org/abs/1701.08625
ID  - 1701.08625
ER  -