TY  - RPRT
TI  - Extending Nunchaku to Dependent Type Theory
AU  - Simon Cruanes
AU  - Jasmin Christian Blanchette
PY  - 2016
DO  - 10.4204/eptcs.210.3
UR  - https://arxiv.org/abs/1606.05945
ID  - 1606.05945
ER  -