TY  - RPRT
TI  - Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study
AU  - Jacques Carette
AU  - William M. Farmer
PY  - 2017
UR  - https://arxiv.org/abs/1704.02253
ID  - 1704.02253
ER  -