@incollection{de_Moura_2015,
    doi = {10.1007/978-3-319-21401-6_26},
    url = {https://doi.org/10.1007%2F978-3-319-21401-6_26},
    year = {2015},
    publisher = {Springer International Publishing},
    pages = {378--388},
    author = {Leonardo de Moura and Soonho Kong and Jeremy Avigad and Floris van Doorn and Jakob von Raumer},
    title = {The Lean Theorem Prover (System Description)},
    booktitle = {Automated Deduction - {CADE}-25}
}

@incollection{de_Moura_2015, doi = {10.1007/978-3-319-21401-6_26}, url = {https://doi.org/10.1007%2F978-3-319-21401-6_26}, year = {2015}, publisher = {Springer International Publishing}, pages = {378--388}, author = {Leonardo de Moura and Soonho Kong and Jeremy Avigad and Floris van Doorn and Jakob von Raumer}, title = {The Lean Theorem Prover (System Description)}, booktitle = {Automated Deduction - {CADE}-25} }