x86_64 + HOL-Light: Replace poly_use_hint AVX2 intrinsics with hand-written assembly and HOL-Light proofs#1189
Open
jakemas wants to merge 1 commit into
Open
x86_64 + HOL-Light: Replace poly_use_hint AVX2 intrinsics with hand-written assembly and HOL-Light proofs#1189jakemas wants to merge 1 commit into
jakemas wants to merge 1 commit into
