@article{angiuli-2018-the, title={The RedPRL Proof Assistant (Invited Paper)}, volume={274}, ISSN={2075-2180}, url={http://dx.doi.org/10.4204/eptcs.274.1}, DOI={10.4204/eptcs.274.1}, journal={Electronic Proceedings in Theoretical Computer Science}, publisher={Open Publishing Association}, author={Angiuli, Carlo and Cavallo, Evan and Hou (Favonia), Kuen-Bang and Harper, Robert and Sterling, Jonathan}, year={2018}, month=July, pages={1--10} }