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