Skip to content

[MLKEM] Part 2: Lean extraction#169

Open
abentkamp wants to merge 1 commit into
alex/mlkem-verification1from
alex/mlkem-verification2
Open

[MLKEM] Part 2: Lean extraction#169
abentkamp wants to merge 1 commit into
alex/mlkem-verification1from
alex/mlkem-verification2

[ml-kem] Add hax → aeneas-lean extraction driver and output

7512c39
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs