[HN Gopher] Bignum Arithmetic by AWS
       ___________________________________________________________________
        
       Bignum Arithmetic by AWS
        
       Author : JonChesterfield
       Score  : 12 points
       Date   : 2024-07-21 11:43 UTC (11 hours ago)
        
 (HTM) web link (github.com)
 (TXT) w3m dump (github.com)
        
       | playingalong wrote:
       | Did they build it to handle customer invoicing?
        
       | JonChesterfield wrote:
       | These are assembly implementations of arbitrary precision integer
       | arithmetic with correctness proofs in hol light.
        
       ___________________________________________________________________
       (page generated 2024-07-21 23:12 UTC)