TY  - RPRT
TI  - Proof Mining with Dependent Types
AU  - Ekaterina Komendantskaya
AU  - Jonathan Heras
PY  - 2017
UR  - https://arxiv.org/abs/1705.04680
ID  - 1705.04680
ER  -