@Inproceedings{EPTCS274.1, author = {Angiuli, Carlo and Cavallo, Evan and Hou (Favonia), Kuen-Bang and Harper, Robert and Sterling, Jonathan}, year = {2018}, title = {The RedPRL Proof Assistant (Invited Paper)}, editor = {Blanqui, Fr\'ed\'eric and Reis, Giselle}, booktitle = {{\rm Proceedings of the 13th International Workshop on} Logical Frameworks and Meta-Languages: Theory and Practice, {\rm Oxford, UK, 7th July 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {274}, publisher = {Open Publishing Association}, pages = {1-10}, doi = {10.4204/EPTCS.274.1}, }