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: Dec 20 2023 at 11:08 UTC