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: Dec 20 2025 at 21:32 UTC