The Lean Theorem Prover (System Description)
From MaRDI portal
Publication:3454108
DOI10.1007/978-3-319-21401-6_26zbMath1465.68279MaRDI QIDQ3454108
Jeremy Avigad, Leonardo de Moura, Floris van Doorn, Jakob von Raumer, Soonho Kong
Publication date: 2 December 2015
Published in: Automated Deduction - CADE-25 (Search for Journal in Brave)
Full work available at URL: https://figshare.com/articles/journal_contribution/The_Lean_Theorem_Prover_system_description_/6492815
68V20: Formalization of mathematics in connection with theorem provers
68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
Related Items
Uses Software