Skip to content

More bignum options #781

Open
Open
@sorear

Description

@sorear

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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementhigh effortlow rewardLikely requires special techniques even to measure effectivenessperformanceRuntime of a plausible real cakeml-generated binary

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions