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

  • Simple verification of Rust programs via functional purification [ullrich:msc:2016]