TY  - RPRT
TI  - A Framework for Reasoning About LF Specifications
AU  - Mary Southern
PY  - 2021
UR  - https://arxiv.org/abs/2105.04110
ID  - 2105.04110
ER  -