The Lean Theorem Prover (System Description)
de Moura, Leonardo ; Kong, Soonho ; Avigad, Jeremy ; van Doorn, Floris ; von Raumer, Jakob
Automated Deduction - CADE-25, p.378-388
[Periódico revisado por pares]
Cham: Springer International Publishing
Texto completo disponível