The Lean Theorem Prover (System Description).

Leonardo Mendona de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer

Browse the full CADE paper archive.