@article{de Moura2018, author = "Leonardo de Moura and Jeremy Avigad and Soonho Kong and Cody Roux", title = "{Elaboration in Dependent Type Theory}", year = "2018", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/Elaboration_in_Dependent_Type_Theory/6491486", doi = "10.1184/R1/6491486.v1" }