Skip to content

HOL-Light: Port AArch64 Keccak safety proofs from mlkem-native #1023

Open
Open
HOL-Light: Port AArch64 Keccak safety proofs from mlkem-native#1023
Labels
aarch64hol-light
@mkannwischer

Description

@mkannwischer
mkannwischer
opened on Apr 6, 2026

pq-code-package/mlkem-native#1569

Metadata

Metadata

Assignees

No one assigned

    Labels

    aarch64hol-light

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions