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 2023 at 11:08 UTC
I typed 0.5 and Lean automatically made it to 1/2 :o
how does decimal work?
Last updated: Dec 20 2023 at 11:08 UTC