An Introduction to Lean
← Back to topic
Authors: Leonardo de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer
Year: 2014
Journal: ICMS
DOI: 10.1007/978-3-319-19759-6_2
Publisher: https://leanprover.github.io/
Keywords: lean, verification
Abstract
An introduction to the Lean theorem prover.
Cite this paper
bibtex
@misc{leantactic2014,
title = {An Introduction to Lean},
author = {Leonardo de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer},
year = {2014},
journal = {ICMS},
doi = {10.1007/978-3-319-19759-6_2},
url = {https://doi.org/10.1007/978-3-319-19759-6_2},
}