Zulip Chat Archive
Stream: new members
Topic: version?
Alex Kontorovich (Jun 25 2020 at 13:10):
How do I tell what version of Lean I'm running?
Anne Baanen (Jun 25 2020 at 13:12):
Enter the following command;
#print lean.version
Patrick Massot (Jun 25 2020 at 13:12):
#eval lean.version
Last updated: May 02 2025 at 03:31 UTC