Bignum library

[cmester0]

There seem to be a couple of bignum implementations, with relations to Hax.

• Hacl bignum
• hax-lib bigint
• Old Hacspec library
• Specification of ~nat~ in the annotated core library We should instead one principled bignum implementation with models in Coq and F*. This could also be a step towards updating the example specs.

[github-actions[bot]]

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

[franziskuskiefer]

Let's revisit when the annotated core lib is in.

[github-actions[bot]]

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

[W95Psp]

Closing, we will address with the new core models design.