x86_64 + HOL-Light: Replace poly_decompose AVX2 intrinsics with hand-written assembly and HOL-Light proofs#1163
Closed
jakemas wants to merge 1 commit into
Closed
x86_64 + HOL-Light: Replace poly_decompose AVX2 intrinsics with hand-written assembly and HOL-Light proofs#1163jakemas wants to merge 1 commit into
jakemas wants to merge 1 commit into
