TY  - RPRT
TI  - Towards the Integration of an Intuitionistic First-Order Prover into Coq
AU  - Fabian Kunze
PY  - 2016
DO  - 10.4204/eptcs.210.6
UR  - https://arxiv.org/abs/1606.05948
ID  - 1606.05948
ER  -