The Lean Theorem Prover (System Description) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Leonardo Mendonça de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer. The Lean Theorem Prover (System Description). In Amy P. Felty, Aart Middeldorp, editors, Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. Volume 9195 of Lecture Notes in Computer Science, pages 378-388, Springer, 2015. [doi]

This author has not been identified. Look up 'Leonardo Mendonça de Moura' in GoogleThis author has not been identified. Look up 'Soonho Kong' in GoogleThis author has not been identified. Look up 'Jeremy Avigad' in GoogleThis author has not been identified. Look up 'Floris van Doorn' in GoogleThis author has not been identified. Look up 'Jakob von Raumer' in Google

runs on WebDSL