Julin S (May 16 2022 at 06:17): 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:
Julin S (May 16 2022 at 06:17):Thanks!
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