GitHub repository: rod-chapman/isqrt
Primary language: Ada
Created: 2023-07-20T08:17:41Z
Description: Implementations and proofs of integer square root