TY  - RPRT
TI  - Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing Cognitive Load
AU  - Michael Coblenz
PY  - 2021
UR  - https://arxiv.org/abs/2110.03806
ID  - 2110.03806
ER  -