Zulip Chat Archive
Stream: new members
Topic: string equality
Do Nhat Minh (Jun 05 2019 at 00:42):
I'm new to Lean. Could anyone please tell me how to check if two strings are equal?
Mario Carneiro (Jun 05 2019 at 01:59):
s1 = s2
Do Nhat Minh (Jun 05 2019 at 03:55):
Thanks!
Last updated: May 02 2025 at 03:31 UTC