WhyMP

swMATH36851MaRDI QIDQ52553FDOQ52553

Author name not available (Why is that?)

Official website: https://dl.acm.org/doi/10.1145/3373207.3404029

Described by source

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

This page was built for software: WhyMP