Zulip Chat Archive

Stream: general

Topic: 0.5

Kenny Lau (Apr 29 2018 at 19:49):

I typed 0.5 and Lean automatically made it to 1/2 :o

Kenny Lau (Apr 29 2018 at 19:49):

how does decimal work?

Last updated: May 02 2025 at 03:31 UTC