Stream: Coq users

Topic: Any certified C library for unlimited precision integers?


view this post on Zulip Lessness (Oct 17 2022 at 05:44):

I'm thinking of making such (tiny) library, using VST and CompCert (for education purposes, obviously).

But the first step is to search if such library isn't already made.

view this post on Zulip Notification Bot (Oct 17 2022 at 06:29):

Lessness has marked this topic as resolved.

view this post on Zulip Notification Bot (Oct 17 2022 at 06:29):

Lessness has marked this topic as unresolved.

view this post on Zulip Michael Soegtrop (Oct 17 2022 at 07:25):

There is WhyMP: https://www.sciencedirect.com/science/article/abs/pii/S0747717122000657 by @Guillaume Melquiond .

view this post on Zulip Michael Soegtrop (Oct 17 2022 at 07:26):

But it is not done with VST afaik.


Last updated: Feb 04 2023 at 21:02 UTC