@article{carneiro2019,
    author = {Mario Carneiro},
    title = {The Type Theory of Lean},
    year = {2019},
    date-added = {2025-3-11 10:5:51 +0100}
}

@article{carneiro2019, author = {Mario Carneiro}, title = {The Type Theory of Lean}, year = {2019}, date-added = {2025-3-11 10:5:51 +0100} }