cakeml icon indicating copy to clipboard operation
cakeml copied to clipboard
verified publisher icon CakeML

More bignum options

Open sorear opened this issue 5 years ago • 0 comments

I don't have a great use case for this, but very big numbers are nice in demos and I'm not sure a verified implementation of Schönhage-Strassen exists right now.

sorear avatar Sep 19 '20 01:09 sorear