Lean is a programming language [1]

> Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code

[1]: https://lean-lang.org/