Back to pull request #662

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

Sign in to view logs

Triggered via pull request January 28, 2025 09:44

synchronize #662

hol_light

Status Success

Total duration 1h 46m 41s

Billable time 2h 56m

Artifacts –

hol_light.yml

on: pull_request

Matrix: hol_light_proofs