Guidi, Ferruccio. 2015. “Verified Representations of Landau’s ‘Grundlagen’ in the Lambda-Delta Family and in the Calculus of Constructions”. Journal of Formalized Reasoning 8 (1):93-116. https://doi.org/10.6092/issn.1972-5787/4716.