> For the complete documentation index, see [llms.txt](https://wiki.dewaka.com/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://wiki.dewaka.com/computer-science/formal-verification/lean.md).

# Lean

## Tutorials

* [Programming in Lean](https://leanprover.github.io/programming_in_lean/#01_Introduction.html)

## Papers

* [The Lean Theorem Prover (system description)](https://leanprover.github.io/papers/system.pdf)