TY  - RPRT
TI  - A language for mathematical knowledge management
AU  - Steven Kieffer
AU  - Jeremy Avigad
AU  - Harvey Friedman
PY  - 2011
UR  - https://arxiv.org/abs/0805.1386
ID  - 0805.1386
ER  -