“The Lean programming language is capable of expressing any program that could be written in Python, C, or C++, while also being able to express any logical concept.”