TY  - RPRT
TI  - Realms: A Structure for Consolidating Knowledge about Mathematical Theories
AU  - Jacques Carette
AU  - William M. Farmer
AU  - Michael Kohlhase
PY  - 2014
UR  - https://arxiv.org/abs/1405.5956
ID  - 1405.5956
ER  -