The Lean theorem prover (system description) Leonardo de Moura, Soonho Kong, Jeremy Avigad, Floris Van Doorn, Jakob von Raumer [doi] [Google Scholar] [DBLP] [Citeseer] International Conference on Automated Deduction Springer Pages 378-388 2015 Topic(s): tools verification Note(s): Lean theorem prover, interactive theorem prover Papers related to The Lean theorem prover (system description) Simple verification of Rust programs via functional purification [ullrich:msc:2016]