TY  - RPRT
TI  - The RedPRL Proof Assistant (Invited Paper)
AU  - Carlo Angiuli
AU  - Evan Cavallo
AU  - Kuen-Bang Hou
AU  - Robert Harper
AU  - Jonathan Sterling
PY  - 2018
DO  - 10.4204/eptcs.274.1
UR  - https://arxiv.org/abs/1807.01869
ID  - 1807.01869
ER  -