TY  - RPRT
TI  - Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic
AU  - Taro Sekiyama
AU  - Akifumi Imanishi
AU  - Kohei Suenaga
PY  - 2017
UR  - https://arxiv.org/abs/1706.06462
ID  - 1706.06462
ER  -