@misc{indiciae20b61741ba5f,
  title = {The RedPRL Proof Assistant (Invited Paper)},
  author = {Carlo Angiuli and Evan Cavallo and Kuen-Bang Hou and Robert Harper and Jonathan Sterling},
  year = {2018},
  doi = {10.4204/eptcs.274.1},
  url = {https://arxiv.org/abs/1807.01869},
  note = {Source identifier: 1807.01869}
}