Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
arXiv:1606.05945.pdf (Preprint), 112KB
Cruanes, S., & Blanchette, J. C. (2016). Extending Nunchaku to Dependent Type Theory. In J. C. Blanchette, & C. Kaliszyk (Eds.), Proceedings First International Workshop on Hammers for Type Theories (pp. 3-12). doi:10.4204/EPTCS.210.3.