Alessi, F., Ciaffaglione, A., Di Gianantonio, P., Honsell, F., Lenisa, M., & Scagnetto, I. (2019). LF+ in Coq for "fast and loose" reasoning. Journal of Formalized Reasoning, 12(1), 11–51. https://doi.org/10.6092/issn.1972-5787/9757