Alessi, Fabio, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, and Ivan Scagnetto. 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.