WhyMP, a formally verified arbitrary-precision integer library

DOI10.1145/3373207.3404029OpenAlexW3025960451MaRDI QIDQ5145995

Guillaume Melquiond, Raphaël Rieu-Helft

Publication date: 22 January 2021

Published in: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-02566654v2/file/main.pdf

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (2)

WhyMP, a formally verified arbitrary-precision integer library ⋮ WhyMP

Uses Software

• Why3
• HACL*

This page was built for publication: WhyMP, a formally verified arbitrary-precision integer library