Stream: Miscellaneous

Topic: ✔ Understanding a proof


view this post on Zulip Julin S (May 16 2022 at 06:17):

Yeah, that's what I was thinking . I had heard that mentioning non-nat numbers (ie, float I guess) could complicate proofs quite fast. :sweat_smile:

view this post on Zulip Julin S (May 16 2022 at 06:17):

Thanks!

view this post on Zulip Notification Bot (May 16 2022 at 06:17):

Julin S has marked this topic as resolved.


Last updated: Aug 19 2022 at 20:03 UTC