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.