In python, I can get the version of python I am using like this:

import sys

3.11.0 (main, May 25 2023, 12:06:07) [GCC 12.2.0]

How do I do the equivalent thing in Lean?


1 Answer 1


Try this:

#eval Lean.versionString

Alternatively, from the command line, you can invoke lean -v to print the version.

In Lake projects, there is a a file lean-toolchain that sets the version of Lean.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.