Formal Verification of the Safegcd Implementation.

Tue, 01 Jul 2025 01:00:00 +0200

Russell O'Connor, Andrew Poelstra:
Formal Verification of the Safegcd Implementation. CoRR abs/2507.17956 (2025)