@misc{indiciae6db47eb2a9dc,
  title = {Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing Cognitive Load},
  author = {Michael Coblenz},
  year = {2021},
  url = {https://arxiv.org/abs/2110.03806},
  note = {Source identifier: 2110.03806}
}