TY  - RPRT
TI  - Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar
AU  - Jesse Alama
AU  - Lionel Mamane
AU  - Josef Urban
PY  - 2012
UR  - https://arxiv.org/abs/1109.3687
ID  - 1109.3687
ER  -