Alessi, F. et al. 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.