HOL-Light/x86_64: Replace Keccakx4 intrinsics with AVX2 assembly and prove correct#989
Draft
mkannwischer wants to merge 1 commit intomainfrom
Draft
HOL-Light/x86_64: Replace Keccakx4 intrinsics with AVX2 assembly and prove correct#989mkannwischer wants to merge 1 commit intomainfrom
mkannwischer wants to merge 1 commit intomainfrom
