1. WhyMP, a formally verified arbitrary-precision integer library. (March 2023) Authors: Melquiond, Guillaume; Rieu-Helft, Raphaël Journal: Journal of symbolic computation Issue: Volume 115(2023) Page Start: 74 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗