Safegcd's Implementation Formally Verified

(bitcoinmagazine.com)

1 points | by futurecat 9 hours ago ago