Skip to content
HOL-Light

Add functional correctness proofs for AArch64-optimized NTT and invNTT in HOL Light #2

Sign in to view logs

Add functional correctness proofs for AArch64-optimized NTT and invNTT in HOL Light

Add functional correctness proofs for AArch64-optimized NTT and invNTT in HOL Light #2

Triggered via pull request January 24, 2025 07:19
@hanno-beckerhanno-becker
synchronize #662
hol_light
Status Failure
Total duration 13m 38s
Billable time 7m
Artifacts –

hol_light.yml

on: pull_request
hol-light proofs
6m 7s
hol-light proofs
Fit to window
Zoom out
Zoom in

Annotations

1 error
hol-light proofs
Process completed with exit code 2.