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