Add functional correctness proofs for AArch64-optimized NTT and invNTT in HOL Light #5
hanno-beckerhol_light.yml
on: pull_request
hol-light proofs
1h 22m
Annotations
1 error
|
hol-light proofs
Canceling since a higher priority waiting request for 'HOL-Light-refs/pull/662/merge' exists
|