Stream: Coq users

Topic: ✔ Printing of primitive floats

view this post on Zulip Matthieu Sozeau (Sep 30 2022 at 15:49):

Hexa is fine and seems to work well, thanks for the help guys!

view this post on Zulip Notification Bot (Sep 30 2022 at 15:49):

Matthieu Sozeau has marked this topic as resolved.

Last updated: Jan 27 2023 at 01:03 UTC