Stream: Coq users

Topic: Any certified C library for unlimited precision integers?

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.

Notification Bot (Oct 17 2022 at 06:29):

Lessness has marked this topic as resolved.

Notification Bot (Oct 17 2022 at 06:29):

Lessness has marked this topic as unresolved.

Michael Soegtrop (Oct 17 2022 at 07:25):

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

Michael Soegtrop (Oct 17 2022 at 07:26):

But it is not done with VST afaik.

Last updated: Oct 13 2024 at 01:02 UTC